auxsymbolfunction