Fuente TeX:

( \bar{\forall} a \in \mathbb{N} )( \bar{\forall} b \in \mathbb{N} ) a \in \mathbb{N} \not\leftrightarrow a \geq b