The > function tests if the object in the second position is greater than the object in the first position, as follows:

a b->c

#a #b->c

"a" "b"->c

a_u_{1} b_u_{2}->c

A true result is represented by the real number one. A false result is represented by the real number zero.