Source TeX:
[0; +\infty [