define pyk of x is placeholder-var as text unicode start of text unicode quotation mark unicode space unicode small i unicode small s unicode space unicode small p unicode small l unicode small a unicode small c unicode small e unicode small h unicode small o unicode small l unicode small d unicode small e unicode small r unicode hyphen 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 placeholder-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 p unicode small h unicode right brace unicode end of text end unicode text end text end define
define value of var x is placeholder-var as var x term root equal quote placeholder-var var x end var end quote end define
The pyk compiler, version 0.grue.20060417+ by Klaus Grue,