TeX source:
\pi/2 - \phi