TeX source:
\pi=3,142