More notation here and there: \sup, \divides, \ndivides, !

[helm.git] / helm / matita / core_notation.moo

diff --git a/helm/matita/core_notation.moo b/helm/matita/core_notation.moo
index 9af57e4fe90b25c71a152c6b0db611a060d98a35..86de49f0d713a2e8e6498c5111bc3438e3a1eb60 100644 (file)
--- a/helm/matita/core_notation.moo
+++ b/helm/matita/core_notation.moo
@@ -46,6 +46,14 @@ 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 }.
@@ -75,7 +83,7 @@ notation "- a"
 for @{ 'uminus $a }.
 
 notation "a !"
-  left associative with precedence 65
+  non associative with precedence 80
 for @{ 'fact $a }.
 
 notation "(a \sup b)"