Syntax definition cgt

Description: Extend wff notation to include the 'greater than' relation, see df-gt .

	Ref	Expression
Assertion	cgt	class >