A carbocation with a two-coordinate positive carbon derived from formal removal of a hydride ion (H−) from an alkene is known as a "vinyl cation". In the absence of geometric constraints, most substituted vinyl cations carry the formal positive charge on an sp-hydridized carbon atom of linear geometry. A two-coordinate approximately sp2-hybridized cation resulting from the formal removal of a hydride ion from an arene is termed an "aryl cation". These carbocations are relatively unstable (aryl cations especially so) and are infrequently encountered. Hence, they are frequently omitted from introductory and intermediate level textbooks. The IUPAC definition stipulates that carbocations are even-electron species; hence, radical cations like CH4•+ that are frequently encountered in mass spectrometry are not considered to be carbocations.