notation update