Pipe-calculus: Difference between revisions

Pipe-calculus (view source)

97 bytes removed , 9 May 2023

283

edits

@@ Line 98: / Line 98: @@
 \def\pipe{\rhd}
 \def\pass{\textbf{pass}}
-\def\pto{\mathrel{\to\mkern-18mu\vcenter{\hbox{$\scriptscriptstyle|$}\mkern11mu}}}
-\def\nto{\to}
 \def\eq{ = ~}
 \def\rule{ ::= ~}