Agda 符号的 Emacs 键盘快捷键是什么？

Question

我指的是列表符号，以防它在标题中显示不佳。

不像书上说的\bl

Answer 1

使用 M-x 然后 agda-input-show-translations 得到所有字符绑定的 table。然后你可以使用C-s来搜索特定的字符。

Answer 2

book 在 "Some Extra Emacs Definitions" 附录中提供了使打字更容易的代码：

(eval-after-load "quail/latin-ltx"
   '(mapc (lambda (pair)
            (quail-defrule (car pair) (cadr pair) "TeX"))
           '( ("\bb" "") ("\bl" "") ("\bs" "") ("\bt" "") ("\bv" "") ("\cv" "⋎") ("\comp" "○") ("\m" "↦") ("\om" "ω"))))

您只需从此处复制它并将其粘贴到您的 .emacs 文件中。

Answer 3

它还不是 emacs 模式的一部分，但我已经提交了一个 Pull Request 来添加缺少的黑板粗体字母。

Answer 4

在我的例子中，我只是输入了 Emacs

\bL

，它给了我正确的黑板粗体字体。这是 agda 2.5.3（根据 Ubuntu 16.04 下的官方文档通过 hackage 安装）

Agda 符号的 Emacs 键盘快捷键是什么？

What is the Emacs keyboard shortcut for the Agda symbol?

emacs

agda