TeX source:
x−1=8