diff --git a/Projects/mathlib-demo/MathlibLatest/Rational.lean b/Projects/mathlib-demo/MathlibLatest/Rational.lean
index 0ea15def..036a34ee 100644
--- a/Projects/mathlib-demo/MathlibLatest/Rational.lean
+++ b/Projects/mathlib-demo/MathlibLatest/Rational.lean
@@ -11,5 +11,5 @@ example (h₁ : x < y) (h₂ : y + 3 < z + 10) : x + 37 < z + 44 := by
 
 -- let's prove that (x+y)^2=x^2+2*x*y+y^2
 
-example : (x + y)^2 = x^2 + 2 * x * y + y^2 := by
+example : (x + y) ^ 2 = x^2 + 2 * x * y + y^2 := by
   ring -- the `ring` tactic can do this automatically