change numbers for real symbols