Syntax definition crisc

Description: Extend class notation with the ring isomorphism relation.

	Ref	Expression
Assertion	crisc	class ≃𝑟