X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fnlibrary%2Fsets%2Fsetoids2.ma;h=ba2c1c52b29df65f00df49f3ec81fa27ca9a897b;hb=8d8863982ca95225551e9659ed431db046c34e81;hp=34036a48b37becddc01b1538ab9d4e46e3d831e9;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/matita/nlibrary/sets/setoids2.ma b/matita/matita/nlibrary/sets/setoids2.ma
index 34036a48b..ba2c1c52b 100644
--- a/matita/matita/nlibrary/sets/setoids2.ma
+++ b/matita/matita/nlibrary/sets/setoids2.ma
@@ -49,7 +49,7 @@ for @{ eq_rel2 ? (eq2 ?) $a $b }.
 interpretation "setoid2 symmetry" 'invert r = (sym2 ???? r).
 interpretation "setoid1 symmetry" 'invert r = (sym1 ???? r).
 interpretation "setoid symmetry" 'invert r = (sym ???? r).
-notation ".= r" with precedence 50 for @{'trans $r}.
+notation ".= r" with precedence 55 for @{'trans $r}.
 interpretation "trans2" 'trans r = (trans2 ????? r).
 interpretation "trans1" 'trans r = (trans1 ????? r).
 interpretation "trans" 'trans r = (trans ????? r).