在其他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")))