Symmetry in density-functional theory.