Makes no difference- there aren't any concerns with running HDMI and aerial wires together - unless of course you're using crappy aerial wires and 'HDMI' cables that don't meet the HDMI specifications.
I've seen hundreds working perfectly OK, and fitted loads as well.
I suspect it's yet another of these 'urban myths' which seen to appear from nowhere?.
It's not a myth it's down to crap interconnects.
The worst offenders seem to be the overpriced hdmi cables.
Make RF interconnects from decent coax (ideally WF100 sat grade cable). If you use the crap thin (mostly white coax patch leads next to hdmi leads or unscreened rf wall plates expect problems
HDMI uses frequencies that can easily wipe out a whole carrier frequency.
You have not experienced I guess because you use decent interconnects.