TeX source:
(0, \, \mid 1)