removed duplicated symbol