TeX source:
(0 \mid 5)