diff --git a/lean4-mode/lean4-input.el b/lean4-mode/lean4-input.el
index 23fe2fe7eb..cc06a458f1 100644
--- a/lean4-mode/lean4-input.el
+++ b/lean4-mode/lean4-input.el
@@ -356,7 +356,7 @@ order for the change to take effect."
   ("x"         . ("×"))
   ("o"         . ("∘"))
   ("comp"      . ("∘"))
-  ("."         . ("∙"))
+  ("."         . ("∙" "·"))
   ("*"         . ("⋆"))
   (".+"        . ("∔"))
   (".-"        . ("∸"))