Symbol: add_def