Symbol: add_symbol