TeX source:
\Pr\{2|\psi_1\}=\langle\psi_1|\mathbf{E}_2|\psi_1\rangle\neq0