TeX source:
[1;\infty [