See
[comparisons.
less.
equal]
.