If the mediators are heavier than the electroweak symmetry-breaking
scale it is more convenient to write the operators in a way that is
manifestly invariant under the SM gauge group. This extends the SM-EFT
Lagrangian [1]}, [2]} by adding the
operators that include also DM fields.
