add notation