Logiweb aspects of var x in pyk

Up Help

The predefined "pyk" aspect

define pyk of var x as text unicode start of text unicode small v unicode small a unicode small r unicode space unicode small x unicode end of text end unicode text end text end define

The predefined "tex" aspect

define tex of var x as text unicode start of text unicode newline unicode backslash unicode small m unicode small a unicode small t unicode small h unicode small s unicode small f unicode left brace unicode small x unicode right brace unicode end of text end unicode text end text end define

The predefined "claim" aspect

define claim of var x as var y end define

The predefined "message" aspect

define message of var x as var y end define

The user defined "the statement aspect" aspect

define statement of var x as var x end define

The user defined "the tactic aspect" aspect

define tactic of var x as var y end define