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