turn notations on and off using global Notation object