TeX source:
S(13 \mid 70)