The link-time symbol is the same as the high-level language name.
For more information on referencing symbol names, see the "Object File Symbol Naming Conventions (Linknames)" section in the ARM Optimizing C/C++ Compiler User's Guide.
For information specifically about C++ symbol naming, see Section 13.3.1 in this document and the "C++ Name Demangler" chapter in the ARM Optimizing C/C++ Compiler User's Guide.
See Section 8.6.1 for information about referring to linker symbols in C/C++ code.