Source TeX:
\left]2,5\right[,