TeX Quellcode:
Q_2(5 \mid 7)