TeX source:
\Delta t\to 0