Who Cites gt?
gt	Def i > j == j < i
	Thm* i,j:. (i > j) Prop

Syntax:

i > j

has structure:

gt(i; j)

About: