TeX source:

(\lnot [\forall xP(x)])\to \exists x[\lnot P(x)]