TeX Quellcode:

(3 \mid 0)