Źródło TeX:

(∀0