> ZZ -- greater than

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 larger than d