Table of Operator Precedences (Gries & Schneider)
(a)
[x:=e] (textual substitution) (highest precedence)
(b) . (function application)
(c) + - ¬ # ˜ ℘ (unary prefix operators)
(d) **
(e) ⋅ / ÷ mod gcd
(arithmetic operators)
(f) + - ∪ ∩ × ∘ ⋅
(g) ↓ ↑
(h) #
(i) ⊲ ⊳
(j) = < > ∈ ⊂ ⊆ ⊃ ⊇ |
(k) ∨ ∧
(l) ⇒ ⇐
(implication, consequence)
(m) ≡ (lowest precedence)