Vocabulary
math.intervals

Inputs
aa real


Outputs
intervalan interval


Word description
Creates a new interval containing all real numbers greater than a, together with positive infinity.

Definition

: (a,inf] ( a -- interval ) 1/0. (a,b] ; inline