Delete Notation.c