TeX source:
S_n