notation changes