Source TeX:

a=\sqrt{2}