define pyk of contains-empty x end empty as text unicode start of text unicode small c unicode small o unicode small n unicode small t unicode small a unicode small i unicode small n unicode small s unicode hyphen unicode small e unicode small m unicode small p unicode small t unicode small y unicode space unicode quotation mark unicode space unicode small e unicode small n unicode small d unicode space unicode small e unicode small m unicode small p unicode small t unicode small y unicode end of text end unicode text end text end define
define tex of contains-empty var x end empty as text unicode start of text unicode capital c unicode small o unicode small n unicode small t unicode small a unicode small i unicode small n unicode small s unicode capital e unicode small m unicode small p unicode small t unicode small y unicode left parenthesis unicode number sign unicode one unicode period unicode newline unicode right parenthesis unicode end of text end unicode text end text end define
define macro of contains-empty var x end empty as lambda var t dot lambda var s dot lambda var c dot macro define four var t state var s cache var c definition quote macro define contains-empty var x end empty as the set of ph in var x such that zermelo empty set zermelo in placeholder-var1 end set end define end quote end define end define
The pyk compiler, version 0.grue.20060417+ by Klaus Grue,