X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fnlibrary%2Fsets%2Fsetoids.ma;h=f5483607424a75d4e8031d4b6de88ea380301e4d;hb=8b1bc0a74dbc6c5854cbce31240ae829dfe7e8bf;hp=e40dad6f6d20e4e3a1f7624b6f28b5d6056a6ef3;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/matita/nlibrary/sets/setoids.ma b/matita/matita/nlibrary/sets/setoids.ma
index e40dad6f6..f54836074 100644
--- a/matita/matita/nlibrary/sets/setoids.ma
+++ b/matita/matita/nlibrary/sets/setoids.ma
@@ -41,9 +41,9 @@ notation > "hvbox(a break =_0 b)" non associative with precedence 45
 for @{ eq_rel ? (eq0 ?) $a $b }.
 
 interpretation "setoid symmetry" 'invert r = (sym ???? r).
-notation ".= r" with precedence 50 for @{'trans $r}.
+notation ".= r" with precedence 55 for @{'trans $r}.
 interpretation "trans" 'trans r = (trans ????? r).
-notation > ".=_0 r" with precedence 50 for @{'trans_x0 $r}.
+notation > ".=_0 r" with precedence 55 for @{'trans_x0 $r}.
 interpretation "trans_x0" 'trans_x0 r = (trans ????? r).
 
 nrecord unary_morphism (A,B: setoid) : Type[0] ≝ {