TeX source:
y: x = 7y + 8