Code Editor : notation.py