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

本文介绍了在其他emacs模式下使用Agda的输入法？的处理方法，对大家解决问题具有一定的参考价值，需要的朋友们下面随着小编来一起学习吧！

问题描述

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

How do I use Agda's input method to enter unicode characters in non-Agda mode? I don't see its name showing up when I try set-input-method. The reason I want to use Agda's input method instead of TeX is because there are characters I want that can't enter in TeX.

或者，也许另一个问题是如何在现有的 TeX input method？

Or, maybe an alternate question would be "How do I add more shortcuts to enter unicode characters in the existing TeX input method?"

非常感谢

`推荐答案`

p>在.emacs文件中添加以下命令：

Add the following commands in your .emacs file:

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

                        这篇关于在其他emacs模式下使用Agda的输入法？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！