Syntax definition ccic

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

	Ref	Expression
Assertion	ccic	class ≃𝑐