TeX source:

Q_2(5 \mid 7)