Feynman-gauge photon propagator

At $\xi =1$, the Euclidean photon propagator is $D_{\mu \nu }(k)={\delta }_{\mu \nu }/k^2$. Its Lorentz-index contraction simplifies loop numerators in quantum electrodynamics.