TeX source:
\Delta x < 0