283
edits
Pipe-calculus: Difference between revisions
→Normal forms
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 227: | Line 227: | ||
<math> | <math> | ||
\def\seq{\mathrel{;}} | \def\seq{\mathrel{;}} | ||
\def\succeed{\textbf{succeed}} | \def\succeed{\textbf{succeed}} | ||
| Line 235: | Line 233: | ||
\def\pipe{\rhd} | \def\pipe{\rhd} | ||
\def\pass{\textbf{pass}} | \def\pass{\textbf{pass}} | ||
\def\rew{\Rightarrow~} | \def\rew{\Rightarrow~} | ||
</math> | </math> | ||