TeX Quellcode:

(1\mid 16)