Infrared spectroscopy and theory of the formaldehyde cation and its hydroxymethylene isomer.