Symbol: add_tl