Logiweb(TM)

Logiweb aspects of sub ( " , " , " , " ) in pyk

Up Help

The "pyk" aspect

Define pyk of sub ( asterisk , asterisk , asterisk , asterisk ) as "sub ( "! , "! , "! , "! )" end define

The "tex" aspect

Define tex of sub ( a , b , x , t ) as ""[ a ] { "
\sim \langle "[ b ] { "
\, | \, "[ x ] { "
\, := "[ t ]"
\rangle" } } } end define

The "macro" aspect

define macro of sub ( a , b , x , t ) as \ x . expand ( quote macro define sub ( a , b , x , t ) as \ c . sub0 ( quote a end quote , quote b end quote , quote x end quote , quote t end quote , c ) end define end quote , x ) 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