TeX source:
\pi/2