TeX source:
∀x∀y→Pfx¬→ PxQfyxz