Syntax definition cgrlic

Description: The class of the graph local isomorphism relation.

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