TeX source:
x_1 = \sqrt{-1+\sqrt{2}}