add some notation