TeX source:
[0, \infty)