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: