TeX source:
x_2 = -\sqrt{p} \neq 1