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