如何在 agda 模式下输入“·”（中间点）？
How do I enter '·' (middle dot) in agda-mode?
我正在研究 paper，它使用 Agda 代码中的中间点字符。我希望能够在没有 copy/paste 的情况下输入它。如何使用agda-mode输入？
我尝试过典型的资源，例如
\cdot 给你 · 而 \. 给你 ∙ （这些是不同的符号）。
如果您可以 copy/paste 一个字符，那么您可以通过选择菜单中的 "Agda/Information about the character at point" 选项（或使用 M-x describe-char）并查看 to input:节。
我正在研究 paper，它使用 Agda 代码中的中间点字符。我希望能够在没有 copy/paste 的情况下输入它。如何使用agda-mode输入？
我尝试过典型的资源，例如
\cdot 给你 · 而 \. 给你 ∙ （这些是不同的符号）。
如果您可以 copy/paste 一个字符，那么您可以通过选择菜单中的 "Agda/Information about the character at point" 选项（或使用 M-x describe-char）并查看 to input:节。