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 \divides b)"
50 non associative with precedence 45
51 for @{ 'divides $a $b }.
53 notation "hvbox(a break \ndivides b)"
54 non associative with precedence 45
55 for @{ 'ndivides $a $b }.
57 notation "hvbox(a break + b)"
58 left associative with precedence 50
61 notation "hvbox(a break - b)"
62 left associative with precedence 50
63 for @{ 'minus $a $b }.
65 notation "hvbox(a break * b)"
66 left associative with precedence 55
67 for @{ 'times $a $b }.
69 notation "hvbox(a break / b)"
70 left associative with precedence 55
71 for @{ 'divide $a $b }.
74 non associative with precedence 90
75 for @{ 'divide $a $b }.
78 left associative with precedence 55
79 for @{ 'divide $a $b }.
82 right associative with precedence 60
86 right associative with precedence 75
90 non associative with precedence 80
94 right associative with precedence 65
98 non associative with precedence 60
101 notation "hvbox(a break \lor b)"
102 left associative with precedence 30
105 notation "hvbox(a break \land b)"
106 left associative with precedence 35
109 notation "hvbox(\lnot a)"
110 left associative with precedence 40