Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
#!/usr/bin/env lua5.1 -- oldglyphs.lua: support for files with my old unibyte mathematical glyphs. -- See: (find-eevfile "eev-math-glyphs.el" "(defun eev-math-glyphs-edrx") -- (find-angg "LUA/composechars-u8.lua") -- (defun e () (interactive) (find-fline "~/LUA/oldglyphs.lua")) -- (find-fline "~/LATEX/2002fmcs.tex") -- (find-lua51manual "#pdf-string.byte") bigstr = ee_readfile "~/LATEX/2002fmcs.tex" pat = "[\1-\8\11\14-\31\127-\255]" eevmathglyphs0 = splitlines [[ 'eev-glyph-face-Greek "Theta Pi Sigma Omega" "Th Pi Si Om " "Þ å Æ Ø " 'eev-glyph-face-greek "delta epsilon theta lambda nu pi rho sigma tau omega" "dd ee te ll nu pi ro si tt ww " " ð Û Ï " 'eev-glyph-face-logical "top bot land lor supset forall exists box thin: in circ" "TT bt la lo im fa ex bo :: in oo " "§ ® ∧ ∨ ⊃ ý Î ñ ¨ Ý ¢ " 'eev-glyph-face-math "cap cup Int nabla infty ge ^1" "ca cu In na 88 >= -1" "Ì þ Å ¿ ‚ © ³ " 'eev-glyph-face-linear "sqcap sqcup ud& oplus otimes lolli" "ka ku && o+ ox -o" " ÷ Ñ ¥ ¤ ¸ " 'eev-glyph-face-graphic "dotli nat seblock neblock" ".. bq bl ^^ " "(÷) î £ " 'eev-glyph-face-font "b r t s " "bf rm tx ss" "¦ ¯ Ë Ð " ]] -- (find-angg "LUA/lua50init.lua" "Set") setg = Set.new() for c in bigstr:gmatch(pat) do setg:add(string.byte(c)) end qsplit = function (li) return split((li:match"\"(.*)\"")) end FourLines = Class { type = "FourLines", new = function (face, names, comps, cs) local ns = map(string.byte, cs) return FourLines {face=face, names=names, comps=comps, cs=cs, ns=ns} end, __tostring = mytabletostring() __index = { }, } --[[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "oldglyphs.lua" print "\64" print "\1-\8\11\14-\31\127-\255" = setg:ksc() = #eevmathglyphs0 = eevmathglyphs0[1] for i=1,#eevmathglyphs0,4 do local face = eevmathglyphs0[i]:match("'([%S]+)") local names = qsplit(eevmathglyphs0[2]) local comps = qsplit(eevmathglyphs0[3]) local cs = qsplit(eevmathglyphs0[4]) local ns = map(string.byte, cs) print(face) PP(names) PP(comps) PP(ns) n = #names end PPV(qsplit(eevmathglyphs0[2])) --]] -- Local Variables: -- coding: raw-text-unix -- End: