Symbol: add_digit