Source TeX:
x \in [0, +\infty[