TeX source:
∀y P(x, y)