Update notation.rst