Syntax definition cdih

Description: Extend class notation with isomorphism H.

	Ref	Expression
Assertion	cdih	$$class\mathrm{DIsoH}$$