Synonyms: (2E)-But-2-endis?ure--4-(1-methylpiperidin-4-yliden)-4,9-dihydro-10H-benzo[4,5]cyclohepta[1,2-b]thiophen-10-on(1:1);4-(1-methylpiperidin-4-ylidene)-4,9-dihydro-10H-benzo[4,5]cyclohepta[1,2-b]thiophen-10-one (2E)-but-2-enedioate;4-(1-Methylpiperidin-4-ylidene)-4,9-dihydro-10H-benzo[4,5]cyclohepta[1,2-b]thiophen-10-one (2E)-but-2-enedioate (1:1);