i.e. here | acts as a low precedence division operator, ÷ as an ordinary precedence division operator like infix / and the 'closefix' rational notation 3/4 has the highest precedence in my programming language
n.b. in case you were wondering P v Q is used for Boolean Or.
n.b. in case you were wondering P v Q is used for Boolean Or.