TeX Quellcode:
(1\mid 0)