Symbol: a_union___diff_sz