Syntax definition cdiag

Description: Extend class notation to include the diagonal functor.

	Ref	Expression
Assertion	cdiag	class Δfunc