Fuente TeX:

\mathsf{ZF} + \neg\mathsf{AC}