TeX source:
(-\infty, 5]