Yes, the parenthetical is correct. Words like “mix” have different meaning in different technical contexts. In signal processing, “frequency mixer” is a common meaning. https://en.m.wikipedia.org/wiki/Frequency_mixer