TeX source:
S(0 \mid 2)