Notation section and new eqn. boxes