TeX source:
(0\mid 0)