add some notation declarations