 Covariant gauge

Adding $-({\partial }_{\mu }{A}^{\mu }{)}^2/(2\alpha )$ gives a family of Lorentz-covariant gauges; $\alpha =1$ is Feynman gauge.