X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flibrary%2Fdama%2Funiform.ma;h=137b63ef3602dc25b4b5306580b81d3a8d6b3053;hb=b3f8b89278d193ed0aa0f39e7f8d74cf1de81d8d;hp=d6637a85db89416896072733424d9c95bfa2c328;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/matita/library/dama/uniform.ma b/matita/matita/library/dama/uniform.ma
index d6637a85d..137b63ef3 100644
--- a/matita/matita/library/dama/uniform.ma
+++ b/matita/matita/library/dama/uniform.ma
@@ -33,7 +33,7 @@ definition invert_bs_relation ≝
   λC:bishop_set.λU:C squareB → Prop.
     λx:C squareB. U 〈\snd x,\fst x〉.
       
-notation > "\inv" with precedence 60 for @{ 'invert_symbol  }.
+notation > "\inv" with precedence 65 for @{ 'invert_symbol  }.
 interpretation "relation invertion" 'invert a = (invert_bs_relation ? a).
 interpretation "relation invertion" 'invert_symbol = (invert_bs_relation ?).
 interpretation "relation invertion" 'invert_appl a x = (invert_bs_relation ? a x).