The PTA Hellings and Downs correlation unmasked by symmetries | Synapse