|
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: