TeX source:
\pi=0.5