Źródło TeX:
1/\sqrt{2} = 0.7071067812