如何在agda模式下输入“·”（中间点）？

Question

我正在使用Agda代码中使用中点字符的paper。我希望能够在没有复制/粘贴的情况下输入它。如何使用agda模式输入它？

我尝试过典型的资源，例如

• http://agda.readthedocs.io/en/latest/tools/emacs-mode.html
• http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Docs.UnicodeInput

Answer 1

\cdot为您提供·，\.为您提供∙（这些是不同的符号）。

如果你可以复制/粘贴一个字符，那么你可以通过选择菜单中的“Agda /关于点上字符的信息”选项（或使用M-x describe-char）并查看{ {1}}部分。