add Notation.c