TeX source:

S(3\mid 7)