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 60, right associativity).
Reserved Notation "f ○ g" (at level 100).
Reserved Notation "f >>>> g" (at level 45).