changed some notation stuff