TeX source:
S = \{S_1, S_2, ..., S_k\}