X-Git-Url: http://git.megacz.com/?p=coq-categories.git;a=blobdiff_plain;f=src%2FNotations.v;fp=src%2FNotations.v;h=4bca2f6ccdf14be332a414219eb49b2489406f9b;hp=099548bc24c571ba77fe8d3cd9b6ee5b8236dd98;hb=2594faf30b5d3e44380460c937023556322324c7;hpb=105a7461c7531f8b4e49f34e7242021ac6bb5ebe

diff --git a/src/Notations.v b/src/Notations.v
index 099548b..4bca2f6 100644
--- a/src/Notations.v
+++ b/src/Notations.v
@@ -51,6 +51,7 @@ Reserved Notation "a :: b"                      (at level 60, right associativit
 Reserved Notation "a ++ b"                      (at level 60, right associativity).
 Reserved Notation "f ○ g"                       (at level 100).
 Reserved Notation "f >>>> g"                    (at level 45).
+Reserved Notation "a >>⊗>> b"                   (at level 20).
 Reserved Notation "f **** g"                    (at level 40).
 Reserved Notation "C × D"                       (at level 40).
 Reserved Notation "C ×× D"                      (at level 45).