在其他emacs模式下使用Agda的输入法？

Question

如何使用Agda的输入法在非Agda模式下输入unicode字符？我尝试时看不到它的名字set-input-method.我想使用Agda的输入法而不是TeX因为我想要的字符无法输入TeX.

或者,可能另一个问题是"如何在现有TeX输入法中添加更多快捷方式来输入unicode字符？"

非常感谢你

Answer 1

在.emacs文件中添加以下命令:

;; Using the input method of Agda in LaTeX files.
(require 'agda-input)
(add-hook 'LaTeX-mode-hook
          (lambda () (set-input-method "Agda")))