Source TeX:
P(x_2)=0