TeX source:
(7\mid -2)