283
edits
Pipe-calculus: Difference between revisions
→Zero-order calculus
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 60: | Line 60: | ||
\def\null{\textbf{0}} | \def\null{\textbf{0}} | ||
\def\fail{\textbf{fail}} | \def\fail{\textbf{fail}} | ||
\def\pto{\mathrel{\to\mkern- | \def\pto{\mathrel{\to\mkern-18mu\vcenter{\hbox{$\scriptscriptstyle|$}\mkern11mu}}} | ||
\def\nto{\to} | \def\nto{\to} | ||