TeX source:

\{|0\rangle_2, |1\rangle_2, |2\rangle_2, |3\rangle_2\}