Reserved Notation "C 'ᵒᴾ'" (at level 1).
Reserved Notation "F \ a" (at level 20).
Reserved Notation "f >>> g" (at level 45).
+Reserved Notation "a >>≅>> b" (at level 45).
Reserved Notation "a ~~ b" (at level 54).
Reserved Notation "a ~> b" (at level 70, right associativity).
Reserved Notation "a ≃ b" (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 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).