More notation here and there.

[helm.git] / helm / matita / core_notation.moo

diff --git a/helm/matita/core_notation.moo b/helm/matita/core_notation.moo
index c528fc111d2041cb83761efa02697a33300b337f..9af57e4fe90b25c71a152c6b0db611a060d98a35 100644 (file)
--- a/helm/matita/core_notation.moo
+++ b/helm/matita/core_notation.moo
@@ -74,6 +74,14 @@ notation "- a"
   right associative with precedence 60
 for @{ 'uminus $a }.
 
+notation "a !"
+  left associative with precedence 65
+for @{ 'fact $a }.
+
+notation "(a \sup b)"
+  right associative with precedence 65
+for @{ 'exp $a $b}.
+
 notation "\sqrt a" 
   non associative with precedence 60
 for @{ 'sqrt $a }.