Źródło TeX:
\neg F \cap \neg F = \neg F