TeX source:
-3x+12