print aux syms