TeX source:
12 \pi