diff --git a/Editor.md b/Editor.md
index 6048fd51c10e11df887b519da8d1d12a7612ac08..fd8b58fe9e67a411bc4c1688b41dff917c8cea1e 100644
--- a/Editor.md
+++ b/Editor.md
@@ -22,8 +22,15 @@ Next, add the following to your `~/.emacs` to configure an input method based on
 (require 'math-symbol-lists)
 ; Automatically use math input method for Coq files
 (add-hook 'coq-mode-hook (lambda () (set-input-method "math")))
-; Use math input method for the minibuffer
-(add-hook 'minibuffer-setup-hook (lambda () (set-input-method "math")))
+; Input method for the minibuffer
+(defun my-inherit-input-method ()
+  "Inherit input method from `minibuffer-selected-window'."
+  (let* ((win (minibuffer-selected-window))
+         (buf (and win (window-buffer win))))
+    (when buf
+      (activate-input-method (buffer-local-value 'current-input-method buf)))))
+(add-hook 'minibuffer-setup-hook #'my-inherit-input-method)
+; Define the actual input method
 (quail-define-package "math" "UTF-8" "Ω" t)
 (quail-define-rules ; add whatever extra rules you want to define here...
  ("\\mult"   ?â‹…)