notational

not defined yet