Logiweb(TM)

Logiweb aspects of back " quote " end quote in pyk

Up Help

The "pyk" aspect

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

The "tex" aspect

Define tex of back x quote y end quote as "
\lceil_{\!"[ x ] { "
\,} "[ y ]"
\rceil " } end define

The "macro" aspect

define macro of back u quote v end quote as \ x . backquote0 ( 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