TeX source:
\cot(\alpha)=\dfrac{1}{\tan(\alpha)}