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