Source TeX:
\left]4, \infty \right[