Notation updated