Syntax definition cdiag

Description: Extend class notation to include the diagonal functor.

	Ref	Expression
Assertion	cdiag	$$class{\Delta }_{\mathrm{func}}$$