Symbol: a_union___diff