TeX source:
−x+y=3