TeX source:
9−2