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