From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 27 Sep 2010 23:25:07 +0000 (+0000)
Subject: fixed notation for \cup and \cap
X-Git-Tag: make_still_working~2823
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d05dded8c907533b3aba2fcc75c82fa56478af0e;p=helm.git

fixed notation for \cup and \cap
---

diff --git a/helm/software/matita/core_notation.moo b/helm/software/matita/core_notation.moo
index 1dcb15d81..6f5d78d03 100644
--- a/helm/software/matita/core_notation.moo
+++ b/helm/software/matita/core_notation.moo
@@ -233,10 +233,10 @@ for @{ 'overlaps $a $b }. (* \between *)
 notation "hvbox(a break ⊆ b)" non associative with precedence 45
 for @{ 'subseteq $a $b }. (* \subseteq *)
 
-notation "hvbox(a break ∩ b)" non associative with precedence 55
+notation "hvbox(a break ∩ b)" left associative with precedence 55
 for @{ 'intersects $a $b }. (* \cap *)
 
-notation "hvbox(a break ∪ b)" non associative with precedence 50
+notation "hvbox(a break ∪ b)" left associative with precedence 50
 for @{ 'union $a $b }. (* \cup *)
 
 notation "hvbox({ term 19 a })" with precedence 90 for @{ 'singl $a}.