TeX source:

[0;\infty[