Syntax definition cdib

Description: Extend class notation with isomorphism B.

	Ref	Expression
Assertion	cdib	$$class\mathrm{DIsoB}$$