notation updated