TeX source:
(2\mid 4 \mid 0)