change of notation