non associative with precedence 45
for @{ 'neq $a $b }.
+notation "hvbox(a break \nleq b)"
+ non associative with precedence 45
+for @{ 'nleq $a $b }.
+
+notation "hvbox(a break \ngeq b)"
+ non associative with precedence 45
+for @{ 'ngeq $a $b }.
+
+notation "hvbox(a break \nless b)"
+ non associative with precedence 45
+for @{ 'nless $a $b }.
+
+notation "hvbox(a break \ngtr b)"
+ 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 !"
+ non associative with precedence 80
+for @{ 'fact $a }.
+
+notation "(a \sup b)"
+ right associative with precedence 65
+for @{ 'exp $a $b}.
+
notation "\sqrt a"
non associative with precedence 60
for @{ 'sqrt $a }.