TeX Quellcode:

\forall{x(Kx}\leftrightarrow{Sx}\vee{Nx}\vee{Fx)}