Symbol: add_exp