TeX source:
(0 \mid 1)