Source TeX:
P > 0