O<=

the less-than-or-equal relation for the ordinals
Major Section:  PROGRAMMING

o<= is a macro and (o<= x y) expands to (not (o< y x)). See o<.