This is LaTeX code:
[latex]
(x_1-x_2)^2((x_1+x_2)^2+2(x_1x_2-1))\geq0
[/latex]