Fuente TeX:
\neg P(X) \lor Q(w)