What is the abbreviation for Acetylcholine receptor?

Looking for the shorthand of Acetylcholine receptor or how to abbreviate it? We have 3 shorthands for Acetylcholine receptor.