changes to notations