This is LaTeX code:
[latex]
\displaystyle \angle{OA_1B_1}=\angle{OBB_1}=\frac{\pi}{2}-\alpha
[/latex]