auxsymbol