> ZZ -- greater than

Synopsis

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