TeX source:
\pi > 0.5