Source TeX:
\left]-\infty, a_1\right[