TeX source:

\Pr\{1|\psi_1\}=\langle\psi_1|\mathbf{E}_1|\psi_1\rangle=0