TeX Quellcode:

(9 \mid 2)