>= ZZ -- greater than or equal

Synopsis

• Usage:

  (>= d)

• Operator: >=
• Inputs:

  • d, an integer
• Outputs:

  • an object of class LowerBound, a special object of class LowerBound used to represent the set of natural numbers at least as large as d