Writing some notation