283
edits
Pipe-calculus: Difference between revisions
→Syntax
KalmanKeri (talk | contribs) (→Syntax) |
KalmanKeri (talk | contribs) (→Syntax) |
||
| Line 77: | Line 77: | ||
\begin{alignat}{2} | \begin{alignat}{2} | ||
& \mbox{Atoms}~ & x, | & \mbox{Atoms}~ & x, y \rule & \mathsf{A} \mid \mathsf{B} \mid ... \\ | ||
& \mbox{Literals}~ & l, m \rule & x \mid \neg x \\ | & \mbox{Literals}~ & l, m \rule & x \mid \neg x \\ | ||