Duplicated symbol