TeX source:
2y=−x+13