print auxsym