TeX source:
\pi  >  0.5