TeX source:
(0\mid -3)