TeX source:
(-\infty, 3]