Source TeX:
\pi/2