Symbol: tslist_drop