Source TeX:
[a_0 ; +\infty [