Syntax definition cdic

Description: Extend class notation with isomorphism C.

	Ref	Expression
Assertion	cdic	$$class\mathrm{DIsoC}$$