TeX source:
9+0y=13