TeX source:
(-\infty, 1]