From d05dded8c907533b3aba2fcc75c82fa56478af0e Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 27 Sep 2010 23:25:07 +0000 Subject: [PATCH] fixed notation for \cup and \cap --- helm/software/matita/core_notation.moo | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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}. -- 2.39.2