Source TeX:
y\in\left]0,\pi\right[