From 117dfe4f3b6d8ebf53172eaf66b628a27e4e43e1 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 30 Jun 2010 20:33:43 +0000 Subject: [PATCH] ... --- 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 b6e4ae476..f781db7de 100644 --- a/helm/software/matita/core_notation.moo +++ b/helm/software/matita/core_notation.moo @@ -207,9 +207,9 @@ notation "hvbox(a break \leftrightarrow b)" for @{ 'iff $a $b }. -notation "hvbox(\Omega \sup term 90 A)" non associative with precedence 70 +notation "hvbox(\Omega \sup term 90 A)" non associative with precedence 90 for @{ 'powerset $A }. -notation > "hvbox(\Omega ^ term 90 A)" non associative with precedence 70 +notation > "hvbox(\Omega ^ term 90 A)" non associative with precedence 90 for @{ 'powerset $A }. notation < "hvbox({ ident i | term 19 p })" with precedence 90 -- 2.39.2