Yes; it could use the same logic that is in `_print_Symbol`.