Create notation.h