Источник TeX:

AF=AL=\sqrt{3}