change some manners of notation