11.3.221 @=< /2 [ISO]

Synopsis

+Term1 @=< +Term2

Succeeds if Term1 is not after Term2 in the standard order.

Arguments

Term1

term

Term2

term

See Also

ref-lte-cte.