Gauge-invariant renormalization of four-quark operators in lattice QCD | Synapse