Update Notation.c