TeX source:
(1\mid 16)