TeX source:
]0;\infty[