Abbreviation for acetylcholine