An annotation that defines an external name for a definition. If analpha(extname) annotation is given for a method or some other definition, its implementation will use the nameextname instead of the regular name. Analpha annotation is mandatory for definitions with symbolic names.