Probing the quantal identity of low-lying electronic states of CO2+ by quantum-chemical calculations and ion-translational-energy spectrometry.