TeX source:
[\pi, 5 \pi]