Fuente TeX:
p_0, \neg p_0