TeX source:
\rho_E = \text{tr}_A\left(\mathbf{U}^\dagger \rho_A\otimes|E\rangle_E\langle E| \mathbf{U}\right),