TeX source:

π(x_1) > π(x_2)