Symbol: add_single_digit