diff --git a/src/emacs/lean-input.el b/src/emacs/lean-input.el
index a898427fde..6a5ccc2670 100644
--- a/src/emacs/lean-input.el
+++ b/src/emacs/lean-input.el
@@ -233,7 +233,7 @@ order for the change to take effect."
   ("pequiv" . ("≃*"))
   ("phomotopy" . ("~*"))
 
-  ("p" . ("↣"))
+  ("pr" . ("↣"))
 
   ("1" . ("₁"))
   ("2" . ("₂"))