TeX source:

\Pr\{1|\psi_2\}=\langle\psi_2|\mathbf{E}_1|\psi_2\rangle\neq0