Combining.
not typespec
typespec - a type specifier.
This denotes the set of all objects that are not of the type typespec.
The argument is required, and cannot be *.
The symbol not is not valid as a type specifier.
\issue{TYPE-SPECIFIER-ABBREVIATION:X3J13-JUN90-GUESS}