TeX source:

(-\infty, 7]