Fuente TeX:
p_2 \vee \neg p_2