TeX source:
(-\infty, 0)