TeX source:
(3\mid -5)