TeX source:
(-\infty,-1.28].