相关疑难解决方法(0)

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

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

非常感谢你