TeX source:
x - 10 = 0