TeX source:
\pi=3{,} 141592653...