bugfix for uminus notation, prints parens where needed

diff --git a/helm/matita/core_notation.moo b/helm/matita/core_notation.moo
index 86de49f0d713a2e8e6498c5111bc3438e3a1eb60..a2802c3da8eabd6d5bb5176c7323f1e388724c31 100644 (file)
--- a/helm/matita/core_notation.moo
+++ b/helm/matita/core_notation.moo
@@ -78,10 +78,14 @@ notation "a \over b"
   left associative with precedence 55
 for @{ 'divide $a $b }.
 
-notation "- a" 
+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 }.