Agda和x1D543的Emacs键盘快捷键是什么；象征？

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

---

它不是书中所说的

\bl

。

使用

M-x

然后

agda input show translations

获取所有字符绑定的表格。然后，您可以使用

C-s

搜索特定字符。

在“一些额外的Emacs定义”附录中提供了代码，使键入更容易：

(eval-after-load "quail/latin-ltx"
   '(mapc (lambda (pair)
            (quail-defrule (car pair) (cadr pair) "TeX"))
           '( ("\\bb" "It's not part of the emacs mode yet but I have submitted a Pull Request to add the missing blackboard bold letters.
In my case I just typed in Emacs 


\bL 

（装载后评估“鹌鹑/拉丁ltx”
"(mapc)(lambda(对)
（鹌鹑除鳞器（车对）（cadr对）“TeX”））
“（“\\bb”“这还不是emacs模式的一部分，但我已经提交了一份报告，以添加缺少的黑板粗体字母。
在我的情况下，我只是键入了emacs

，这给了我正确的黑板粗体字体。这是agda 2.5.3（根据Ubuntu 16.04下的官方文档通过hackage安装）
我得到了“失败的I-search:”
你有没有从“一些额外的Emacs定义”中输入代码“你的.emacs文件中的部分？是的，这是我需要的。只有复制/粘贴会占用换行符，因此如果有人以文本而不是pdf格式提供定义，那也不错。我将自己尝试查找。我应该注意，书中还有一些额外的内容。