Edit: notation.py