Notation update