TeX source:

\Pr\{m|\psi\} = \langle\psi|\mathbf{E}_m|\psi\rangle = \text{tr}(\mathbf{E}_m|\psi\rangle\langle\psi|) \geq 0 \implies \mathbf{E}_m