TeX source:

\{|00\rangle, |01\rangle, |10\rangle, |11\rangle\}