<=Less Than or Equal to Comparison

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₁ b_u₂->c

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