TeX Quellcode:
\neg{Na}\wedge\neg{Fa}