Delete notation.h