TeX source:
]0;+\infty[