define pyk of hmpeano as text unicode start of text unicode small h unicode small m unicode small p unicode small e unicode small a unicode small n unicode small o unicode end of text end unicode text end text end define
define tex of hmpeano as text unicode start of text unicode capital h unicode capital m unicode small p unicode small e unicode small a unicode small n unicode small o unicode end of text end unicode text end text end define
The pyk compiler, version 0.grue.20050603 by Klaus Grue,