non associative with precedence 45
for @{ 'ngtr $a $b }.
+notation "hvbox(a break \divides b)"
+ non associative with precedence 45
+for @{ 'divides $a $b }.
+
+notation "hvbox(a break \ndivides b)"
+ non associative with precedence 45
+for @{ 'ndivides $a $b }.
+
notation "hvbox(a break + b)"
left associative with precedence 50
for @{ 'plus $a $b }.
left associative with precedence 55
for @{ 'times $a $b }.
-notation "hvbox(a break / b)"
+notation "hvbox(a break \mod b)"
left associative with precedence 55
-for @{ 'divide $a $b }.
+for @{ 'module $a $b }.
notation "\frac a b"
non associative with precedence 90
left associative with precedence 55
for @{ 'divide $a $b }.
-notation "- a"
+notation "hvbox(a break / b)"
+ left associative with precedence 55
+for @{ 'divide $a $b }.
+
+notation > "- a"
right associative with precedence 60
for @{ 'uminus $a }.
+notation < "- a"
+ right associative with precedence 75
+for @{ 'uminus $a }.
+
notation "a !"
- left associative with precedence 65
+ non associative with precedence 80
for @{ 'fact $a }.
notation "(a \sup b)"