cgt - Mathbox for David A. Wheeler

	Mathbox for David A. Wheeler		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > cgt		Structured version Visualization version GIF version

Syntax Definition cgt 49240

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

**Assertion**
Ref	Expression
cgt	class >

See definition df-gt 49242 for more information.

Colors of variables: wff setvar class