X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flibrary%2Fdama%2Frussell_support.ma;h=126c943815c47c751e12049d16652e0af194f2b6;hb=ca1807b86671236be3042b77dbc65034d0aa77c2;hp=fc75b76b4f94a51c7243873a77702e52bbae1c12;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/matita/library/dama/russell_support.ma b/matita/matita/library/dama/russell_support.ma
index fc75b76b4..126c94381 100644
--- 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 ? ? ?).