Logiweb aspects of bottom in pyk

Up Help

The predefined "pyk" aspect

define pyk of bottom as text unicode start of text unicode small b unicode small o unicode small t unicode small t unicode small o unicode small m unicode end of text end unicode text end text end define

The predefined "tex" aspect

define tex of bottom as text unicode start of text unicode newline unicode backslash unicode small b unicode small o unicode small t unicode space unicode end of text end unicode text end text end define

The predefined "value" aspect

introduce value of bottom as identity lambda var x dot ( var x apply var x ) end identity apply identity lambda var x dot ( var x apply var x ) end identity end introduce