Synonyms: 4H-Benzo[4,5]cyclohepta[1,2-b]thiophene-9,10-dione, 4-(1-methyl-4-piperidinylidene)-, 4-(1-Methyl-4-piperidinylidene)-4H-benzo[4,5]cyclohepta[1,2-b]thiophene-9,10-dione, NSC 282482, 4-(1-Methylpiperidin-4-ylidene)-4H-benzo[4,5]cyclohepta[1,2-b]thiophen-9,10-dione, 9,10-Dioxo Ketotifen, 9,10-Dioxoketotifen