Symmetry, bonding, and wannier function construction in the PF6− molecule: a first-principles case study | Synapse