Источник TeX:

\frac{FC}{AL} =\frac{OF}{OL} \Rightarrow \frac{BF}{DL} =\frac{FC}{AL}