TeX source:
Q_4(4 \mid 5)