cadiz can be directed to use a generic operator as a type abbreviation. Any reports of the types of instantiations of that operator may then be in terms of the operator, rather than the underlying types. This directive is used in the toolkit, but is not expected to be much used elsewhere. The generic operator should be monotonic.
The troff mark-up for a type abbreviation is as follows, on a line by itself.
.ZT DeclName
The LATEX mark-up for a type abbreviation is as follows, on a line by itself.
%%abbrev DeclName