Fuente TeX:

(\forall x)(Par(x) \wedge Primo(x) \rightarrow x =' \bar{2} )