TeX source:
p \neq p_{0}