Update notation.md