X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fnlibrary%2Fsets%2Fcategories2.ma;h=8651d185470e5679762481b1ea463ab71acc3a0c;hb=d7a1ab434c222c2445f36b7a3b6234d1f57f9794;hp=17d621431aa602b6720b325c573086c598e522a7;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/matita/nlibrary/sets/categories2.ma b/matita/matita/nlibrary/sets/categories2.ma
index 17d621431..8651d1854 100644
--- a/matita/matita/nlibrary/sets/categories2.ma
+++ b/matita/matita/nlibrary/sets/categories2.ma
@@ -32,7 +32,7 @@ nrecord category : Type[2] ≝
  }.
 *)
 
-notation "hvbox(A break ⇒ B)" right associative with precedence 50 for @{ 'arrows $A $B }.
+notation "hvbox(A break ⇒ B)" right associative with precedence 55 for @{ 'arrows $A $B }.
 interpretation "arrows1" 'arrows A B = (unary_morphism1 A B).
 interpretation "arrows" 'arrows A B = (unary_morphism A B).