TeX source:
(-\infty, b]