define pyk of x is existential var as text unicode start of text unicode quotation mark unicode space unicode small i unicode small s unicode space unicode small e unicode small x unicode small i unicode small s unicode small t unicode small e unicode small n unicode small t unicode small i unicode small a unicode small l 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 existential var as text unicode start of text unicode number sign unicode one unicode period unicode newline unicode space unicode circumflex unicode left brace unicode capital e unicode small x unicode right brace unicode end of text end unicode text end text end define
define value of var x is existential var as var x term root equal quote existential var var x end var end quote end define
The pyk compiler, version 0.grue.20060417+ by Klaus Grue,