TeX Quellcode:

\neg{Fa}