Create notation.py