TeX source:
x - 2y = 8