Update Notation.md