add print_symbol