Term Name:	1-[1-(1-benzothiophen-2-yl)cyclohexyl]piperidinium(1+)
Synonyms:	1-[1-(1-benzothiophen-2-yl)cyclohexyl]piperidinium, benocyclidine cation, benocyclidine(1+), BTCP cation, BTCP(1+)
Definition:	An organic cation that is the conjugate acid of 1-[1-(1-benzothiophen-2-yl)cyclohexyl]piperidine, arising from protonation of the tertiary amino function.
Ontology:	ChEBI [CHEBI:64146]  ( EBI )