Warning: this is an htmlized version!
The original is here, and
the conversion rules are here.
MIMAGES,
MNAMES,
MCHARS,
MPAIRS = mathcharstuff([[
+--------+--------+--------+--------+--------+--------+
|o     o | oooooo |        |        |        |        |
|o     o |      o |  ooo   | o   o  |  ooo   |        |
| o   o  |      o | o      | o   o  | o   o  |   oo   |
| ooooo  |   oooo | oooo   | o   o  | o   o  |  o  o  |
|  o o   |      o | o      | o   o  | o   o  |  o  o  |
|  o o   |      o |  ooo   |  ooo   | o   o  |   oo   |
|   o    | oooooo |        |        |        |        |
|        |        |        |        |        |        |
+--------+--------+--------+--------+--------+--------+
|        |        |        |        |        |        |
|ooooooo |   o    |   o    | o   o  |        |        |
|   o    |   o    |  o o   | o   o  | ooooo  |   o    |
|   o    |   o    |  o o   |  o o   |      o |        |
|   o    |   o    | o   o  |  o o   |      o |        |
|   o    |   o    | o   o  |   o    | ooooo  |   o    |
|   o    |ooooooo |        |        |        |        |
|        |        |        |        |        |        |
+--------+--------+--------+--------+--------+--------+--------+--------+
| oo     |     o  |        |  ooo   |ooooooo |    oo  |   o    |        |
|  oo    |    oo  |        | o   o  |oo   oo |   oo o |   o    |  o  o  |
|   oo   |ooo  o  | oo oo  |     o  | o   o  |   oo   | ooooo  |  o  o  |
|    oo  |     o  |o  o  o |  oooo  | oo oo  |   oo   |        |  o  o  |
| ooooo  |    ooo |o  o  o | o   o  |  o o   |   oo   |        |  o  o  |
|        |        | oo oo  | o   o  |  ooo   |   oo   |        | oooooo |
| ooooo  |        |        |  ooo   |   o    | o oo   |        |        |
|        |        |        |        |        |  oo    |        |        |
+--------+--------+--------+--------+--------+--------+--------+--------+
|ooooooo |   o    |  ooo   |  ooo   |        |        |        |oo ooo  |
|o     o |  o o   | o   o  | o o o  |        |        |        | oo  oo |
|o     o | o   o  |o o o o |o  o  o | oooooo | o    o |    ooo | ooo oo |
|o     o |o     o |o  o  o |ooooooo | o    o | o    o |ooooo oo|oo ooo  |
|o     o | o   o  |o o o o |o  o  o | o    o | o    o |    ooo |  ooo   |
|o     o |  o o   | o   o  | o o o  | o    o | o    o |        | oo oo  |
|ooooooo |   o    |  ooo   |  ooo   | o    o | oooooo |        |  ooo   |
|        |        |        |        |        |        |        |        |
+--------+--------+--------+--------+--------+--------+--------+--------+
|        |        |        |        | o      |  oooo  |  oooo  |ooo ooo |
|o       |        |        |        | o      |  o     |     o  |o     o |
|o       |        | oo     | o      | ooo    |  o     |     o  |o     o |
|oo   oo |oo oooo |o    oo |ooo o o | o o    |  o     |     o  |o     o |
|o o o   |o  o o o|ooo o   | o   o  | ooo    |        |        |        |
|o o oo  |o  o o o|  o oo  | o   o  |   o    |        |        |        |
|oo  o   |o  o o o|oo  o   |  o o o |   o    |        |        |        |
|    o   |        |    o   |        |        |        |        |        |
+--------+--------+--------+--------+--------+--------+--------+--------+
|        |        |    ooo | ooooo  |ooooooo |ooooooo |  ooo   |oo      |
|        |        |    ooo |oo   oo | oo oo  | oo   o | oo oo  | oo     |
|        |        |    ooo |o     o | oo oo  |  oo    |oo   oo |  oo    |
| o o o o|        |        |o ooo o | oo oo  |   oo   |oo   oo |  ooo   |
|        |    ooo |        |o     o | oo oo  |  oo    |oo   oo | oo oo  |
|        |    ooo |        |oo   oo | oo oo  | oo   o | oo oo  |oo   oo |
|        |    ooo |        | ooooo  | oo oo  |ooooooo |ooo ooo |o     o |
|        |        |        |        |        |        |        |        |
+--------+--------+--------+--------+--------+--------+--------+--------+
|    ooo |        |  oooo  |        |        |        |        |        |
|   oo   |        | oo  oo |        |        |        |      o |        |
|    oo  |  ooooo | oo  oo | o   o  |   ooo  | oooooo | ooooo  | o   o  |
|  ooooo | oo     | oooooo |o o   o |  o   o |o   o   |o o     |o     o |
| oo  oo | ooooo  | oo  oo |  o  o  |  o   o |o    o  |  o     |o     o |
| oo  oo | oo     | oo  oo |  o o   |  oo  o |o    o  |  o     |o  o  o |
|  oooo  |  ooooo |  oooo  |  oo    |  o oo  | oooo   |   oo   | oo oo  |
|        |        |        |        | oo     |        |        |        |
+--------+--------+--------+--------+--------+--------+--------+--------+
]],

  " forall exists in cup cap comp ",
  " �      �      �  �   �   �    ",
  " fa     ex     in cu  ca  oo   ",

  " top bot land lor implies thin: ",
  " �   �   ∧    ∨   ⊃       �     ",   --  was land
  " TT  bo  la   lo  im      ::    ",

  " >= -1 infty partial nabla int perp amalg ",
  " �  �  �     wasÏ    �     Å   was�     ",
  " >= -1 88    pa      na    In  pe   am    ",

  " nec poss otimes oplus sqcap sqcup lolli par ",
  " ñ   was� �      �     waså  wasË  �     Ñ   ",
  " nn  pp   ox     o+    ka    ku    -o    &&  ",

  " bf rm sf tx nat ulcorn urcorn ucorns ",
  " �  �  �  Ë  î  was� was�   (none) ", --  was bf
  " bf rm sf tx bq  ul     ur     uc     ",

  " dotli block upblock Theta Pi Sigma Omega lambda ",
  " �     �     �       �     å  Æ     �     �      ",
  " ..    bl    ^^      Th    Pi Si    Om    ll     ",

  " delta eps theta nu rho sigma tau omega ",
  "              Û             Ï     ",   -- � was omega
  " dd    ee  te    nu ro  ss    tt  ww    ")

-- (ascstr 0 255)

-- (setglyphs ?\^R nil 18 ?\^E nil 5 ?\^F nil 6 ?\^T nil 20 ?\^D nil 4 ?\^^ nil 30 ?\^_ nil 31   14 nil 14  28 nil 28)
-- (find-angg "LUA/vtutil.lua")
-- (eev "cd ~/vtutil4/ && make clean && make iso")
-- (eev "cd ~/vtutil4/ && make clean && make all")
-- (find-angg "vtutil4/isomath.el")

--
-- Local Variables:
-- coding:                   raw-text-unix
-- ee-delimiter-hash:        "\n#*\n"
-- ee-delimiter-percent:     "\n%*\n"
-- ee-anchor-format:         "«%s»"
-- ee-charset-indicator:     "Ñ"
-- End: