TeX source:
3 \pi