Update Notation.cpp