change some notation