TeX source:
y=9+3x