TeX source:
1 / \sqrt{2} \approx 0.707