Источник TeX:

AE=a\sqrt{3}