Fuente TeX:
(\neg p_1)