TeX source:
\text{tg}\left(\frac{\pi}{2}-\alpha\right)=\text{ctg}\alpha