update in ground

[helm.git] / matita / matita / nlibrary / sets / categories2.ma

diff --git a/matita/matita/nlibrary/sets/categories2.ma b/matita/matita/nlibrary/sets/categories2.ma
index 17d621431aa602b6720b325c573086c598e522a7..8651d185470e5679762481b1ea463ab71acc3a0c 100644 (file)
--- 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).