define pyk of var big set as text unicode start of text unicode small v unicode small a unicode small r unicode space unicode small b unicode small i unicode small g unicode space unicode small s unicode small e unicode small t unicode end of text end unicode text end text end define
define tex of var big set as text unicode start of text unicode backslash unicode small m unicode small a unicode small t unicode small h unicode small s unicode small f unicode space unicode left brace unicode small b unicode small s unicode right brace unicode end of text end unicode text end text end define
The pyk compiler, version 0.grue.20060417+ by Klaus Grue,