【发布时间】：2019-05-28 07:03:13
【问题描述】：
在 Emacs 的 Agda 模式下键入 m≤n 之类的最佳方式是什么？
如果我输入 m \ = n 我得到@987654322 @，这很烦人。
我目前的解决方法是键入 m \ = Space Backspace n 但它不是很符合人体工程学。
有没有什么我可以做的，不需要我输入一个无用的键，然后立即用退格键删除它？
【问题讨论】：
【发布时间】：2019-05-28 07:03:13
【问题描述】：
另一种选择是使用Ctrl+g退出“字符合成”模式。
所以要输入m≤n 你可以输入 m \ = (Ctrl+g) n
【讨论】：
如果您在光标位于字符上时按C-u C-c =，您将获得有关该字符的信息。 input 行详细说明了您可以输入它的各种方式。
看起来\leqslant 不会因为额外的n 将≤ 变成≰ 而受到影响。但是，键入空格然后擦除它会更短。
【讨论】：