TeX Quellcode:

Q_1(8 \mid 0)