> ZZ -- greater than

> ZZ -- greater than

Synopsis:

Usage: b = (> d)

Operator: > -- greater than

Input:

d, an instance of class ZZ.

Output:

b, an instance of class LowerBound: a special object of class LowerBound used to represent the set of natural numbers larger than d.

Code:

     -- ../../../Macaulay2/m2/varieties.m2:183
     >  InfiniteNumber := >  ZZ := LowerBound => i -> LowerBound{i+1}