add MonoidalNaturalIsomorphism, MonoidalEquivalence, MonoidalNaturalEquivalence

[coq-categories.git] / src / Notations.v

diff --git a/src/Notations.v b/src/Notations.v
index 3ea525b..099548b 100644 (file)
--- a/src/Notations.v
+++ b/src/Notations.v
@@ -35,6 +35,7 @@ Reserved Notation "a ≃≃ b"                      (at level 70, right associat
 Reserved Notation "a ~~> b"                     (at level 70, right associativity).
 Reserved Notation "F  ~~~> G"                   (at level 70, right associativity).
 Reserved Notation "F <~~~> G"                   (at level 70, right associativity).
 Reserved Notation "a ~~> b"                     (at level 70, right associativity).
 Reserved Notation "F  ~~~> G"                   (at level 70, right associativity).
 Reserved Notation "F <~~~> G"                   (at level 70, right associativity).

+Reserved Notation "F <~~⊗~~> G"                 (at level 70, right associativity).

 Reserved Notation "a ⊗ b"                       (at level 40).
 Reserved Notation "a ⊗⊗ b"                      (at level 40).
 Reserved Notation "a ⊕  b"                      (at level 40).
 Reserved Notation "a ⊗ b"                       (at level 40).
 Reserved Notation "a ⊗⊗ b"                      (at level 40).
 Reserved Notation "a ⊕  b"                      (at level 40).