Fuente TeX:

(\lnot ((\bar{\exists} x) \varphi)) \text{ eq } ((\bar{\forall} x)(\lnot \varphi))