removed duplicate symbol