A set of average city temperatures in July are normally distributed with a mean of 23.5 ^\circ \text{C}23.5 ∘ C23, point, 5, degrees, start text, C, end text and a standard deviation of 2 ^\circ \text{C}2 ∘ C2, degrees, start text, C, end text. The average temperature of Rabat is 23 ^\circ \text{C}23 ∘ C23, degrees, start text, C, end text. What proportion of average city temperatures are higher than that of Rabat?