You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 9-morpholin-4-ylspiro[3H-benzo[h][1,4]benzoxathiine-2,4'-piperidin-1-ium]-5,6-dione by IUPAC nomenclature, provide its molecular formula.
user
C20H23N2O4S+
assistant