X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fnlibrary%2Fsets%2Fsetoids1.ma;h=74d7d9e8e12cca2d34cfe2e58adfa520598b475c;hb=d7a1ab434c222c2445f36b7a3b6234d1f57f9794;hp=90be6bc94be18f5758c7ce8b8fb5ee8c2d63c5a4;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/matita/nlibrary/sets/setoids1.ma b/matita/matita/nlibrary/sets/setoids1.ma
index 90be6bc94..74d7d9e8e 100644
--- a/matita/matita/nlibrary/sets/setoids1.ma
+++ b/matita/matita/nlibrary/sets/setoids1.ma
@@ -61,7 +61,7 @@ for @{ eq_rel1 ? (eq1 ?) $a $b }.
 
 interpretation "setoid1 symmetry" 'invert r = (sym1 ???? r).
 interpretation "setoid symmetry" 'invert r = (sym ???? r).
-notation ".=_1 r" with precedence 50 for @{'trans_x1 $r}.
+notation ".=_1 r" with precedence 55 for @{'trans_x1 $r}.
 interpretation "trans1" 'trans r = (trans1 ????? r).
 interpretation "trans" 'trans r = (trans ????? r).
 interpretation "trans1_x1" 'trans_x1 r = (trans1 ????? r).