Delete notation.py