Logiweb(TM)

Logiweb aspects of value define " as " end define in pyk

Up Help

The "pyk" aspect

Define pyk of value define asterisk as asterisk end define as "value define "! as "! end define" end define

The "tex" aspect

Define tex of value define x as y end define as "
[ "[ texname x end texname ] { "
\mathrel{\dot{=}} "[ y ]"
]" } end define

The "macro" aspect

define macro of value define x as y end define as \ x . expand ( quote macro define value define x as y end define as define value of root protect x end protect as y end define end define end quote , x ) end define

The pyk compiler, version 0.1.9 by Klaus Grue,
GRD-2007-07-12.UTC:20:10:57.067491 = MJD-54293.TAI:20:11:30.067491 = LGT-4690987890067491e-6