make some notation