Update notation.py