From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 23 Sep 2005 12:46:47 +0000 (+0000)
Subject: bugfix for uminus notation, prints parens where needed
X-Git-Tag: LAST_BEFORE_NEW~44
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=87266fe0371244bfa3581a2a1b3cbae8549199e1;p=helm.git

bugfix for uminus notation, prints parens where needed
---

diff --git a/helm/matita/core_notation.moo b/helm/matita/core_notation.moo
index 86de49f0d..a2802c3da 100644
--- 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 }.