TeX source:
(-\infty,-3)