TeX source:
x_1=\sqrt{2}