Who Cites ge?
ge	Def ij == ji
	Thm* i,j:. ij Prop
le	Def AB == B < A
	Thm* i,j:. ij Prop
not	Def A == A False
	Thm* A:Prop. (A) Prop

Syntax:

ij

has structure:

ge(i; j)

About: