TeX source:

p < p_{0}