Источник TeX:
AB = a\sqrt 2