define pyk of vaerdi as text unicode start of text unicode small v unicode small a unicode small e unicode small r unicode small d unicode small i unicode end of text end unicode text end text end define
define tex of vaerdi as text unicode start of text unicode backslash unicode small t unicode small e unicode small x unicode small t unicode small t unicode small t unicode left brace unicode capital v unicode backslash unicode small a unicode small e unicode left brace unicode right brace unicode small r unicode small d unicode small i unicode right brace unicode end of text end unicode text end text end define
The pyk compiler, version 0.grue.20060417+ by Klaus Grue,