Synonyms: Piperidinium,1-ethyl-1-(3-hydroxypropyl)-, iodide, diester with2,4-diphenyl-1,3-cyclobutanedicarboxylic acid (8CI);1,3-Cyclobutanedicarboxylic acid, 2,4-diphenyl-, diester with1-ethyl-1-(3-hydroxypropyl)piperidinium iodide (8CI); Anatruksonium;Anatruxonium; Truxipicurium iodide