Syntax definition cgoe

Description: The Godel-set of membership.

	Ref	Expression
Assertion	cgoe	class ∈𝑔