TeX source:
[0,+\infty[