chore: improve · input method

2019-12-21 15:55:14 -08:00 · 2019-12-21 15:55:14 -08:00 · b69fec3ce3
commit b69fec3ce3
parent a32fd2e693
1 changed files with 1 additions and 1 deletions
--- 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"      . ("∘"))
-  ("."         . ("∙"))
+  ("."         . ("∙" "·"))
  ("*"         . ("⋆"))
  (".+"        . ("∔"))
  (".-"        . ("∸"))