TeX source:
/frac{/sqrt{2}}{2}