TeX source:
[0, \pi]