Who Cites lt int?
lt_int	Def i < j == if i < j true ; false fi
	Thm* i,j:. (i < j)

Syntax:

i < j

has structure:

lt_int(i; j)

About: