TeX source:
x−7=0