Intervals

interval_open_open(Real, Real)

interval_open_close(Real, Real)

interval_close_open(Real, Real)

interval_close_close(Real, Real)

Given two reals $a$ and $b$, constructs the interval $(a,b)$.

Given two reals $a$ and $b$, constructs the interval $(a,b]$.

Given two reals $a$ and $b$, constructs the interval $[a,b)$.

Given two reals $a$ and $b$, constructs the interval $[a,b]$.

Expression to set