Hartree-Fock exchange