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