some notation