TeX source:
(-/infty ;2)