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 \nleq b)"
34 non associative with precedence 45
37 notation "hvbox(a break \ngeq b)"
38 non associative with precedence 45
41 notation "hvbox(a break \nless b)"
42 non associative with precedence 45
43 for @{ 'nless $a $b }.
45 notation "hvbox(a break \ngtr b)"
46 non associative with precedence 45
49 notation "hvbox(a break + b)"
50 left associative with precedence 50
53 notation "hvbox(a break - b)"
54 left associative with precedence 50
55 for @{ 'minus $a $b }.
57 notation "hvbox(a break * b)"
58 left associative with precedence 55
59 for @{ 'times $a $b }.
61 notation "hvbox(a break / b)"
62 left associative with precedence 55
63 for @{ 'divide $a $b }.
66 non associative with precedence 90
67 for @{ 'divide $a $b }.
70 left associative with precedence 55
71 for @{ 'divide $a $b }.
74 right associative with precedence 60
78 non associative with precedence 60
81 notation "hvbox(a break \lor b)"
82 left associative with precedence 30
85 notation "hvbox(a break \land b)"
86 left associative with precedence 35
89 notation "hvbox(\lnot a)"
90 left associative with precedence 40