TeX source:
(2 \mid 1)