TeX source:
(9 \mid 2)