See [comparisons.greater.equal].