TeX source:
\{|i\rangle\}_i