define pyk of tex name as text unicode start of text unicode small t unicode small e unicode small x unicode space unicode small n unicode small a unicode small m unicode small e unicode end of text end unicode text end text end define
define tex of tex name as text unicode start of text unicode newline unicode backslash unicode small m unicode small a unicode small t unicode small h unicode small r unicode small m unicode left brace unicode small n unicode small a unicode small m unicode small e unicode right brace unicode end of text end unicode text end text end define
Predef: texname
The pyk compiler, version 0.grue.20050603 by Klaus Grue,