- notation (possibly affecting all .ma files):

[helm.git] / matita / matita / library / dama / russell_support.ma

diff --git a/matita/matita/library/dama/russell_support.ma b/matita/matita/library/dama/russell_support.ma
index fc75b76b4f94a51c7243873a77702e52bbae1c12..126c943815c47c751e12049d16652e0af194f2b6 100644 (file)
--- a/matita/matita/library/dama/russell_support.ma
+++ b/matita/matita/library/dama/russell_support.ma
@@ -17,7 +17,7 @@ include "logic/cprop_connectives.ma".
 
 definition hide ≝ λT:Type.λx:T.x.
 
-notation < "\blacksquare" non associative with precedence 50 for @{'hide}.
+notation < "\blacksquare" non associative with precedence 55 for @{'hide}.
 interpretation "hide" 'hide = (hide ? ?).
 interpretation "hide2" 'hide = (hide ? ? ?).