Источник TeX:
\angle{ACT} = 90^\circ