define pyk of x reduce to x as text unicode start of text unicode asterisk unicode space unicode small r unicode small e unicode small d unicode small u unicode small c unicode small e unicode space unicode small t unicode small o unicode space unicode asterisk unicode end of text end unicode text end text end define
define tex of x reduce to x as text unicode start of text unicode number sign unicode one unicode period unicode newline unicode backslash unicode small s unicode small t unicode small a unicode small c unicode small k unicode small r unicode small e unicode small l unicode space unicode left brace unicode plus sign unicode right brace unicode left brace unicode backslash unicode small r unicode small i unicode small g unicode small h unicode small t unicode small a unicode small r unicode small r unicode small o unicode small w unicode space unicode right brace unicode number sign unicode two unicode period unicode end of text end unicode text end text end define
The pyk compiler, version 0.grue.20050502+ by Klaus Grue,