X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fformal_topology%2Foverlap%2Fcategories.ma;h=9cf55bacf81ecf7807bb1149bdd723d38574f55c;hb=95ac064b854f31a49f2f8cd3c4b4f4929dc96fc0;hp=fc2ab9d4de5f6c62acbebb63c78f0accefd225ba;hpb=5ede839a0cf3339568202750b4aae85ccc63fcb0;p=helm.git

diff --git a/helm/software/matita/contribs/formal_topology/overlap/categories.ma b/helm/software/matita/contribs/formal_topology/overlap/categories.ma
index fc2ab9d4d..9cf55bacf 100644
--- a/helm/software/matita/contribs/formal_topology/overlap/categories.ma
+++ b/helm/software/matita/contribs/formal_topology/overlap/categories.ma
@@ -426,6 +426,8 @@ notation "A × term 74 B ⇒\sub 2 term 19 C" non associative with precedence 72
 notation "A × term 74 B ⇒\sub 3 term 19 C" non associative with precedence 72 for @{'binary_morphism3 $A $B $C}.
 notation "B ⇒\sub 1 C" right associative with precedence 72 for @{'arrows1_SET $B $C}.
 notation "B ⇒\sub 2 C" right associative with precedence 72 for @{'arrows2_SET1 $B $C}.
+notation "B ⇒\sub 1. C" right associative with precedence 72 for @{'arrows1_SETlow $B $C}.
+notation "B ⇒\sub 2. C" right associative with precedence 72 for @{'arrows2_SET1low $B $C}.
 
 interpretation "'binary_morphism1" 'binary_morphism1 A B C = (binary_morphism1 A B C).
 interpretation "'binary_morphism2" 'binary_morphism2 A B C = (binary_morphism2 A B C).