Symbol: add_char