define pyk of |f x | as text unicode start of text unicode vertical line unicode small f unicode space unicode quotation mark unicode space unicode vertical line unicode end of text end unicode text end text end define
define tex of |f var x | as text unicode start of text unicode vertical line unicode small f unicode number sign unicode one unicode period unicode newline unicode vertical line unicode end of text end unicode text end text end define
The pyk compiler, version 0.grue.20060417+ by Klaus Grue,