TeX source:
(-\infty, -3)