Источник TeX:

\angle EFK=90^{\circ}-\alpha-\frac{\beta}{2}