TeX source:
y: x=7 y+8