Logiweb(TM)

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

Up Help

The "pyk" aspect

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

The "tex" aspect

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

The "definition" aspect

Proclaimed as "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