Источник TeX:
\angle ATA_1 \lt 45^\circ