Symbol: double_union