Warning: this is an htmlized version!
The original is here, and
the conversion rules are here.

math_bigstr,
  math_cnames,
  math_cchars,
  math_ckeyps = [[
+--------+--------+--------+--------+--------+--------+--------+--------+
|ooooooo |   o    |        |o     o | oooooo |        |  ooo   |  ooo   |
|o     o |  o o   | o   o  |o     o |      o |        | o   o  | o o o  |
|o     o | o   o  |  o o   | o   o  |      o |   oo   |o o o o |o  o  o |
|o     o |o     o |   o    | ooooo  |   oooo |  o  o  |o  o  o |ooooooo |
|o     o | o   o  |  o o   |  o o   |      o |  o  o  |o o o o |o  o  o |
|o     o |  o o   | o   o  |  o o   |      o |   oo   | o   o  | o o o  |
|ooooooo |   o    |        |   o    | oooooo |        |  ooo   |  ooo   |
|        |        |        |        |        |        |        |        |
+--------+--------+--------+--------+--------+--------+--------+--------+
|oo      |  ooo   |   o    |        |oo ooo  |        |        |        |
| oo     | o   o  |   o    |        | oo  oo |ooooooo |   o    |   o    |
|  oo    |ooo ooo | ooooo  |    ooo | ooo oo |   o    |   o    | ooooo  |
|  ooo   |o ooo o |        |ooooo oo|oo ooo  |   o    |   o    |   o    |
| oo oo  |ooo ooo |        |    ooo |  ooo   |   o    |   o    |   o    |
|oo   oo | o   o  |        |        | oo oo  |   o    |   o    |   o    |
|o     o |  ooo   |        |        |  ooo   |   o    |ooooooo |  o oo  |
|        |        |        |        |        |        |        |        |
+--------+--------+--------+--------+--------+--------+--------+--------+
| oo     |        |        |        |        |  ooo   |ooooooo |        |
|  oo    |  ooo   | o   o  |  ooo   |        | o   o  |oo   oo |        |
|   oo   | o      | o   o  | o   o  |        |     o  | o   o  |        |
|    oo  | oooo   | o   o  | o   o  | o o o o|  oooo  | oo oo  |        |
| ooooo  | o      | o   o  | o   o  |        | o   o  |  o o   |    ooo |
|        |  ooo   |  ooo   | o   o  |        | o   o  |  ooo   |    ooo |
| ooooo  |        |        |        |        |  ooo   |   o    |    ooo |
|        |        |        |        |        |        |        |        |
+--------+--------+--------+--------+--------+--------+--------+--------+
|        |        |  oooo  |  ooo   |        |        |        |    ooo |
|        |        | oo  oo | oo oo  |        |        |        |   oo   |
|   ooo  |  ooooo | oo  oo |oo   oo | o   o  | oooooo | o    o |    oo  |
|  o   o | oo     | oooooo |oo   oo |o o   o | o    o | o    o |  ooooo |
|  o   o | ooooo  | oo  oo |oo   oo |  o  o  | o    o | o    o | oo  oo |
|  oo  o | oo     | oo  oo | oo oo  |  o o   | o    o | o    o | oo  oo |
|  o oo  |  ooooo |  oooo  |ooo ooo |  oo    | o    o | oooooo |  oooo  |
| oo     |        |        |        |        |        |        |        |
+--------+--------+--------+--------+--------+--------+--------+--------+
|     o  | o      |    oo  |        |        |        |        |        |
|    oo  | o      |   oo o |   o    | o   o  |  o  o  |        |o       |
|ooo  o  | ooo    |   oo   |  o o   | o   o  |  o  o  | oo oo  |o       |
|     o  | o o    |   oo   |  o o   |  o o   |  o  o  |o  o  o |oo   oo |
|    ooo | ooo    |   oo   | o   o  |  o o   |  o  o  |o  o  o |o o o   |
|        |   o    |   oo   | o   o  |   o    | oooooo | oo oo  |o o oo  |
|        |   o    | o oo   |        |        |        |        |oo  o   |
|        |        |  oo    |        |        |        |        |    o   |
+--------+--------+--------+--------+--------+--------+--------+--------+
|  oooo  |  oooo  |ooo ooo |        |        |        |        |        |
|  o     |     o  |o     o |        |        |        |      o |        |
|  o     |     o  |o     o |        | o   o  | oooooo | ooooo  | ooooo  |
|  o     |     o  |o     o |oo oooo |o     o |o   o   |o o     |      o |
|        |        |        |o  o o o|o     o |o    o  |  o     |      o |
|        |        |        |o  o o o|o  o  o |o    o  |  o     | ooooo  |
|        |        |        |o  o o o| oo oo  | oooo   |   oo   |        |
|        |        |        |        |        |        |        |        |
+--------+--------+--------+--------+--------+--------+--------+--------+
|        |ooooooo |ooooooo | ooooo  |
|        | oo oo  | oo   o |oo   oo |
| o      | oo oo  |  oo    |o     o |
| ooooooo| oo oo  |   oo   |o ooo o |
| o      | oo oo  |  oo    |o     o |
|        | oo oo  | oo   o |oo   oo |
|        | oo oo  |ooooooo | ooooo  |
|        |        |        |        |
+--------+--------+--------+--------+]],
  split_clines(3,
  " nec poss times Fa Ex comp otimes oplus ",
  " ñ       ×                        ",
  " nn  pp   xx    fa ex oo   ox     o+    ",

  " lambda otimes perp lolli  par T  bot truthval ",
  "                       Ñ        (none)   ",
  " ll     ox     pe   -o     &&  TT bo  tv       ",

  " >=  in cup cap dotli partial nabla block ",
  "                 Ï                 ",
  " >=  in cu  ca  ..    pa      na    bl    ",

  " rho eps theta Omega nu sqcap sqcup delta ",
  "                 Û  waså  Ë          ",
  " ro  ee  te    Om    nu ka    ku    dd    ",

  " -1  nat int land lor amalg infty bf ",
  "    î   Å       ∨               ",
  " -1  bq  In  la   lo  am    88    bf ",

  " ulcorn urcorn ucorns rm omega sigma tau implies ",
  "             (none)                ⊃       ",
  " ul     ur     uc     rm ww    ss    tt  im      ",

  " vdash  Prod Sum Theta ",
  " (none) å    Æ        ",
  " |-     Pi   Si  Th    ")

-- (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 ~/vtutil && make clean && make && iso")


--
-- Local Variables:
-- coding:                   no-conversion
-- ee-temp-bounded-function: eelatex-bounded
-- ee-delimiter-hash:        "\n#*\n"
-- ee-delimiter-percent:     "\n%*\n"
-- ee-anchor-format:         "«%s»"
-- ee-charset-indicator:     "Ñ"
-- End: