You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named (2R,6R)-2,6-dimethyl-1,1-bis(prop-2-enyl)piperidin-1-ium is given. What is its corresponding molecular formula?
user
C13H24N+
assistant