TeX source:
p > p_{0}