Syntax definition cric

Description: Extend class notation with the ring isomorphism relation.

	Ref	Expression
Assertion	cric	class ~=r