Źródło TeX:
(∃τ ̄>0)(∀τ∈]0,τ ̄] f(x+τd)