TeX source:
y = 9 + 3x