>= ZZ

• Operator: >=

• Usage:

  (>= d)

• Inputs:
  • d, an integer
• Outputs:
  • an instance of the type LowerBound, a special object of class LowerBound used to represent the set of natural numbers at least as large as d