The <= function tests if the object in the second position is less than or equal to 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.