TeX source:

−7