TeX source:
Q_1(8 \mid 0)