Fuente TeX:

\neg\{p_0,p_1,p_2\}