TeX source:
\alpha = 32^\circ