Molecular ions in the O-rich evolved star OH231.8+4.2: HCO+, H13CO+and first detection of SO+, N2H+, and H3O+ | Publicación