added some notation