Logiweb aspects of any term {MissingArg} end line {MissingArg} in pyk

Up Help

The predefined "pyk" aspect

define pyk of any term x end line x as text unicode start of text unicode small a unicode small n unicode small y unicode space unicode small t unicode small e unicode small r unicode small m unicode space unicode quotation mark unicode space unicode small e unicode small n unicode small d unicode space unicode small l unicode small i unicode small n unicode small e unicode space unicode quotation mark unicode end of text end unicode text end text end define

The predefined "tex" aspect

define tex of any term var i end line var p as text unicode start of text unicode newline unicode backslash unicode small n unicode small e unicode small w unicode small l unicode small i unicode small n unicode small e unicode space unicode backslash unicode small m unicode small a unicode small k unicode small e unicode small b unicode small o unicode small x unicode space unicode left bracket unicode zero unicode period unicode one unicode backslash unicode small t unicode small e unicode small x unicode small t unicode small w unicode small i unicode small d unicode small t unicode small h unicode space unicode right bracket unicode left bracket unicode small l unicode right bracket unicode left brace unicode dollar sign unicode newline unicode backslash unicode small i unicode small f unicode space unicode backslash unicode small r unicode small e unicode small l unicode small a unicode small x unicode space unicode backslash unicode small c unicode small s unicode small n unicode small a unicode small m unicode small e unicode space unicode small l unicode small g unicode small w unicode small p unicode small r unicode small o unicode small o unicode small f unicode small l unicode small i unicode small n unicode small e unicode small p unicode backslash unicode small e unicode small n unicode small d unicode small c unicode small s unicode small n unicode small a unicode small m unicode small e unicode space unicode capital l unicode underscore unicode question mark unicode space unicode backslash unicode small e unicode small l unicode small s unicode small e unicode newline unicode backslash unicode small g unicode small l unicode small o unicode small b unicode small a unicode small l unicode space unicode backslash unicode small a unicode small d unicode small v unicode small a unicode small n unicode small c unicode small e unicode space unicode backslash unicode small l unicode small g unicode small w unicode small p unicode small r unicode small o unicode small o unicode small f unicode small l unicode small i unicode small n unicode small e unicode space unicode small b unicode small y unicode space unicode one unicode newline unicode capital l unicode backslash unicode small i unicode small f unicode small n unicode small u unicode small m unicode space unicode backslash unicode small l unicode small g unicode small w unicode small p unicode small r unicode small o unicode small o unicode small f unicode small l unicode small i unicode small n unicode small e unicode space unicode less than unicode one unicode zero unicode space unicode zero unicode backslash unicode small f unicode small i unicode space unicode backslash unicode small n unicode small u unicode small m unicode small b unicode small e unicode small r unicode space unicode backslash unicode small l unicode small g unicode small w unicode small p unicode small r unicode small o unicode small o unicode small f unicode small l unicode small i unicode small n unicode small e unicode newline unicode backslash unicode small f unicode small i unicode space unicode newline unicode dollar sign unicode colon unicode right brace unicode backslash unicode small m unicode small a unicode small k unicode small e unicode small b unicode small o unicode small x unicode space unicode left bracket unicode zero unicode period unicode four unicode backslash unicode small t unicode small e unicode small x unicode small t unicode small w unicode small i unicode small d unicode small t unicode small h unicode space unicode right bracket unicode left bracket unicode small l unicode right bracket unicode left brace unicode dollar sign unicode capital a unicode small r unicode small b unicode small i unicode small t unicode small r unicode small a unicode small r unicode small y unicode left brace unicode right brace unicode backslash unicode small g unicode small g unicode left brace unicode right brace unicode dollar sign unicode right brace unicode backslash unicode small q unicode small u unicode small a unicode small d unicode newline unicode backslash unicode small p unicode small a unicode small r unicode small b unicode small o unicode small x unicode space unicode left bracket unicode small t unicode right bracket unicode left brace unicode zero unicode period unicode four unicode backslash unicode small t unicode small e unicode small x unicode small t unicode small w unicode small i unicode small d unicode small t unicode small h unicode space unicode right brace unicode left brace unicode dollar sign unicode number sign unicode one unicode period unicode newline unicode dollar sign unicode backslash unicode small h unicode small f unicode small i unicode small l unicode small l unicode space unicode backslash unicode small m unicode small a unicode small k unicode small e unicode small b unicode small o unicode small x unicode space unicode left bracket unicode zero unicode small m unicode small m unicode right bracket unicode left bracket unicode small l unicode right bracket unicode left brace unicode backslash unicode small q unicode small u unicode small a unicode small d unicode space unicode semicolon unicode right brace unicode right brace 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 any term var i end line var p 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 any term var i end line var p as for all terms var i indeed var p end define end quote end define end define

The predefined "texname" aspect

define tex name of any term var i end line var p as text unicode start of text unicode newline unicode capital a unicode small r unicode small b unicode small i unicode small t unicode small r unicode small a unicode small r unicode small y unicode space unicode backslash unicode small g unicode small g unicode space unicode number sign unicode one unicode period unicode newline unicode semicolon unicode number sign unicode two unicode period unicode end of text end unicode text end text end define