Syntax definition cgob

Description: The Godel-set of equivalence.

	Ref	Expression
Assertion	cgob	$$class{\leftrightarrow }_{𝑔}$$