Symbol: l_union_in_a