diff --git a/lean4-mode/lean4-input.el b/lean4-mode/lean4-input.el
index cfbc04da0c..23fe2fe7eb 100644
--- a/lean4-mode/lean4-input.el
+++ b/lean4-mode/lean4-input.el
@@ -333,8 +333,7 @@ order for the change to take effect."
   ("trans"     . ,(lean4-input-to-string-list "▹⬝"))
   ("transport" . ("▹"))
   ("con"       . ("⬝"))
-  ("cdot"      . ("⬝"))
-  ("dot"      . ("⬝"))
+  ("dot"       . ("·"))
   ("sy"        . ("⁻¹"))
   ("inv"       . ("⁻¹"))
   ("-1"        . ("⁻¹" "₋₁"))