Logiweb(TM)

Logiweb aspects of proclaim " as " end proclaim in pyk

Up Help

The "pyk" aspect

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

The "tex" aspect

Define tex of proclaim x as y end proclaim as "
[ "[ texname x end texname ] { "
\bowtie "[ texname y end texname ]"
]" } end define

The "definition" aspect

Proclaimed as "proclaim"

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