Syntax definition cgoa

Description: The Godel-set of conjunction.

	Ref	Expression
Assertion	cgoa	$$class{\wedge }_{𝑔}$$