...

[helm.git] / helm / software / matita / contribs / formal_topology / overlap / categories.ma

diff --git a/helm/software/matita/contribs/formal_topology/overlap/categories.ma b/helm/software/matita/contribs/formal_topology/overlap/categories.ma
index fc2ab9d4de5f6c62acbebb63c78f0accefd225ba..9cf55bacf81ecf7807bb1149bdd723d38574f55c 100644 (file)
--- 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).