TeX source:
\cot \alpha