notations

not defined yet