TeX source:
∆x = 0