TeX source:
9(−7)