TeX source:
S(1\mid 4)