1 notation "hvbox(a break \to b)"
2 right associative with precedence 20
3 for @{ \forall $_:$a.$b }.
5 notation "hvbox(a break = b)"
6 non associative with precedence 45
9 notation "hvbox(a break \leq b)"
10 non associative with precedence 45
13 notation "hvbox(a break \geq b)"
14 non associative with precedence 45
17 notation "hvbox(a break \lt b)"
18 non associative with precedence 45
21 notation "hvbox(a break \gt b)"
22 non associative with precedence 45
25 notation "hvbox(a break \neq b)"
26 non associative with precedence 45
29 notation "hvbox(a break + b)"
30 left associative with precedence 50
33 notation "hvbox(a break - b)"
34 left associative with precedence 50
35 for @{ 'minus $a $b }.
37 notation "hvbox(a break * b)"
38 left associative with precedence 55
39 for @{ 'times $a $b }.
41 notation "hvbox(a break / b)"
42 left associative with precedence 55
43 for @{ 'divide $a $b }.
46 non associative with precedence 90
47 for @{ 'divide $a $b }.
50 non associative with precedence 55
51 for @{ 'divide $a $b }.
54 non associative with precedence 60
58 non associative with precedence 60
61 notation "hvbox(a break \lor b)"
62 left associative with precedence 30
65 notation "hvbox(a break \land b)"
66 left associative with precedence 35
69 notation "hvbox(a break \lnot b)"
70 left associative with precedence 40