Источник TeX:

AF = \frac{AE}{2}