notation

not defined yet