TeX source:
x = 6 y - 2