TeX Quellcode:

(8 \mid 0)