TeX source:
x_2=-\sqrt{2}