TeX source:

(1\mid 1)