Companion to the Balanced Mixers pblog post — multiply LO and RF in the time domain and watch the sum and difference lines appear in the spectrum. Try a classic superhet, then direct conversion where the beat drops into the audio band.
For sinusoidal LO and RF,
The two new frequencies are the sum and difference — your IF products.
When the LO saturates the diodes, the RF path is switched at the LO rate: $v_\text{IF}(t) \approx s(t)\,v_\text{RF}(t)$ where $s(t)=\pm1$. Multiplying by a square wave adds odd-harmonic terms, so spurious responses appear at $|k f_\text{LO} \pm f_\text{RF}|$ for odd $k$. A double-balanced ring cancels LO and RF feedthrough at the IF port; it does not remove every harmonic product. In the simulator's square-wave mode, the spectrum shows only the mixing products — not LO or RF — mirroring the balanced cancellation.
Read the full write-up: Balanced Mixers: How LO and RF Become IF