TeX source:
(-\infty, 0]