auxsym print