TeX source:
Q_2(5 \mid 7)