Reserved Notation "[# f #]" (at level 2).
Reserved Notation "a ---> b" (at level 11, right associativity).
Reserved Notation "a <- b" (at level 100, only parsing).
Reserved Notation "[# f #]" (at level 2).
Reserved Notation "a ---> b" (at level 11, right associativity).
Reserved Notation "a <- b" (at level 100, only parsing).