Syntax definition cgric

Description: Extend class notation to include the "is isomorphic to" relation for graphs.

	Ref	Expression
Assertion	cgric	$$class{\simeq }_{𝑔𝑟}$$