define pyk of var x is object var as text unicode start of text unicode asterisk unicode space unicode small i unicode small s unicode space unicode small o unicode small b unicode small j unicode small e unicode small c unicode small t unicode space unicode small v unicode small a unicode small r unicode end of text end unicode text end text end define
define tex of var x is object var as text unicode start of text unicode number sign unicode one unicode period unicode newline unicode left brace unicode right brace unicode circumflex unicode left brace unicode small v unicode small a unicode small r unicode right brace unicode end of text end unicode text end text end define
define value of var x is object var as var x term root equal quote object var var x end var end quote end define
The pyk compiler, version 0.grue.20060417 by Klaus Grue,