add notation file