Logiweb(TM)

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

Up Help

The "pyk" aspect

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

The "tex" aspect

Define tex of meta define x as y end define as "
[ "[ texname x end texname ] { "
\stackrel{meta}{=} "[ texname y end texname ]"
]" } end define

The "macro" aspect

define macro of meta define x as y end define as \ x . expand ( quote macro define meta define x as y end define as define meta of x 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:11:58.175987 = MJD-54293.TAI:20:12:31.175987 = LGT-4690987951175987e-6