Fuente TeX:

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