Logiweb aspects of binary-union {MissingArg} comma {MissingArg} end union in pyk

Up Help

The predefined "pyk" aspect

define pyk of binary-union x comma x end union as text unicode start of text unicode small b unicode small i unicode small n unicode small a unicode small r unicode small y unicode hyphen unicode small u unicode small n unicode small i unicode small o unicode small n unicode space unicode quotation mark unicode space unicode small c unicode small o unicode small m unicode small m unicode small a unicode space unicode quotation mark unicode space unicode small e unicode small n unicode small d unicode space unicode small u unicode small n unicode small i unicode small o unicode small n unicode end of text end unicode text end text end define

The predefined "tex" aspect

define tex of binary-union var x comma var y end union as text unicode start of text unicode number sign unicode one unicode period unicode newline unicode space unicode backslash unicode small m unicode small a unicode small t unicode small h unicode small r unicode small e unicode small l unicode left brace unicode backslash unicode small c unicode small u unicode small p unicode right brace unicode space unicode number sign unicode two unicode period unicode end of text end unicode text end text end define

The predefined "macro" aspect

define macro of binary-union var x comma var y end union 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 binary-union var x comma var y end union as union zermelo pair zermelo singleton var x end singleton comma zermelo singleton var y end singleton end pair end union end define end quote end define end define