TeX Quellcode:

(0 \mid 10)