TeX source:
-\infty