TeX Quellcode:

(0\mid 0)