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

Syntax:

i > j

has structure:

gt(i; j)

About: