auxsymbolsection