TeX source:
| \Psi> = \frac{1}{\sqrt{2}} (|00>_{AB} \otimes |1>_{C} )