Syntax definition ccic

Description: Extend class notation to include the category isomorphism relation.

	Ref	Expression
Assertion	ccic	$$class{\simeq }_{𝑐}$$