TeX source:

P(x) → ∀x Q(x)