Logiweb(TM)

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

Up Help

The "pyk" aspect

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

The "tex" aspect

Define tex of line x : Hypothesis >> z ; u as "
\newline%
\makebox[0.1\textwidth]{}%
\parbox[b]{0.4\textwidth}{\raggedright%
\makebox[0mm][r]{\makebox[0.1\textwidth][l]{$"[ x ] { "{:}$}}%
$Hypothesis {} \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 : Hypothesis >> x ; n as \ x . expand ( quote macro define line l : Hypothesis >> x ; n as Line l : Hypothesis >> x ; n end define end quote , x ) end define

The "texname" aspect

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

The "locate/kg" aspect

define locate of line asterisk : Hypothesis >> asterisk ; asterisk as "line" :: 1 end define

The pyk compiler, version 0.1.9 by Klaus Grue,
GRD-2007-07-12.UTC:20:13:13.678589 = MJD-54293.TAI:20:13:46.678589 = LGT-4690988026678589e-6