TeX source:
S\left(9 \mid 0\right)