Source TeX:
[{0, \infty}[