Источник TeX:
\text{tg}\angle(ED, ABC)=\frac{EF}{FD}=\frac{12}{7}