Syntax definition cgoq

Description: The Godel-set of equality.

	Ref	Expression
Assertion	cgoq	$$class{=}_{𝑔}$$