What is the abbreviation for Alpha natural resources inc?

Looking for the shorthand of Alpha natural resources inc or how to abbreviate it? We have 2 shorthands for Alpha natural resources inc.