283
edits
Pipe-calculus: Difference between revisions
→Syntax
KalmanKeri (talk | contribs) (→Syntax) |
KalmanKeri (talk | contribs) (→Syntax) |
||
| Line 119: | Line 119: | ||
We name the new operators '''positive arrow''' and '''negative arrow''' respectively. | We name the new operators '''positive arrow''' and '''negative arrow''' respectively. | ||
When it is clear from context, we can call a negative arrow simply an arrow. | When it is clear from context, we can call a negative arrow simply an arrow. | ||
The precedence and associativity of operators is summarized in the following table. | |||
{| class="wikitable" | {| class="wikitable" | ||