TeX source:
(-/infty ;-1)