Logiweb(TM)

Logiweb aspects of line " : Condition >> " ; " in pyk

Up Help

The "pyk" aspect

Define pyk of line asterisk : Condition >> asterisk ; asterisk as "line "! : Condition >> "! ; "!" end define

The "tex" aspect

Define tex of line x : Condition >> z ; u as "
\newline%
\makebox[0.1\textwidth]{}%
\parbox[b]{0.4\textwidth}{\raggedright%
\makebox[0mm][r]{\makebox[0.1\textwidth][l]{$"[ x ] { "{:}$}}%
$Condition {} \gg {}$}%
\parbox[t]{0.4\textwidth}{\raggedright\setlength{\leftskip}{\indentation}%
$"[ z ] { "$\hfill
\makebox[0mm][l]{\quad ;}} "[ u ]"" } } end define

The "macro" aspect

define macro of line l : Condition >> x ; n as \ x . expand ( quote macro define line l : Condition >> x ; n as Line l : Condition >> x ; n end define end quote , x ) end define

The "texname" aspect

Define tex name of line x : Condition >> z ; u as "
L "[ x ] { "
\colon Condition
\gg "[ z ] { "
; "[ u ]"" } } end define

The "locate/kg" aspect

define locate of line asterisk : Condition >> asterisk ; asterisk as "line" :: 1 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