Fuente TeX:

(\forall x)(P_1(x) \wedge P_2(x) \rightarrow x =' \bar{2} )