From b69fec3ce353d4109baa9f42e65a71a156e9dd5e Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 21 Dec 2019 15:55:14 -0800 Subject: [PATCH] =?UTF-8?q?chore:=20improve=20`=C2=B7`=20input=20method?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- lean4-mode/lean4-input.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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" . ("∘")) - ("." . ("∙")) + ("." . ("∙" "·")) ("*" . ("⋆")) (".+" . ("∔")) (".-" . ("∸"))