Proper symbol changed