简体繁体 English

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

[英]How do I enter '·' (middle dot) in agda-mode?

原文 2016-06-12 03:15:39 6 1 emacs/ agda/ agda-mode

I'm working through a paper that uses the middle-dot character in Agda code. 我正在研究在Agda代码中使用中间点字符的论文。 I'd like to be able to type it up without copy/paste. 我希望能够输入它而无需复制/粘贴。 How can I enter it with agda-mode? 如何使用agda模式输入？

I've tried typical resources such as 我已经尝试过典型的资源，例如

1 个解决方案

\\cdot gives you · and \\. \\cdot给您·和\\. gives you ∙ (these are different symbols). 给您∙ （这些是不同的符号）。

If you can copy/paste a character, then you can discover how to type it by choosing the "Agda/Information about the character at point" option in menu (or using Mx describe-char ) and looking at the to input: section. 如果可以复制/粘贴字符，则可以通过选择菜单中的“ Agda /有关该点的字符的信息”选项（或使用Mx describe-char ）并查看to input:部分来发现如何键入它。

如何在OSX El Capitan上安装agda模式？ - How to install agda-mode on OSX El Capitan?

Doom Emacs 中 Agda-mode 2 的语法高亮显示 - Syntax highlighting for Agda-mode 2 in Doom Emacs

如何使用Enter退出iedit模式？ - How do I exit iedit mode with enter?

Emacs - 当我进入主模式时如何自动进入次模式？ - Emacs - how do I automatically enter minor modes when I enter a major mode?

当我期望看到荒谬的模式时，如何使用agda2模式生成模式？ - How can I use agda2-mode to generate patterns when I expect to see an absurd pattern?

Aquamacs中的Agda模式 - Agda mode in Aquamacs

agda程序必须终止吗？ - Do agda programs necessarily terminate?

如何设置SPC在微型缓冲区模式下充当Enter？ - How to set SPC to act as Enter in minibuffer mode?

Textmate：如何输入重复的字符序列？ - Textmate: How do I enter a repeated sequence of characters?

如何让用户使用elisp输入日期？ - How do I let the user enter a date using elisp?

暂无

暂无

声明:本站的技术帖子网页，遵循CC BY-SA 4.0协议，如果您需要转载，请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.

相关问题 如何在OSX El Capitan上安装agda模式？ - How to install agda-mode on OSX El Capitan? Doom Emacs 中 Agda-mode 2 的语法高亮显示 - Syntax highlighting for Agda-mode 2 in Doom Emacs 如何使用Enter退出iedit模式？ - How do I exit iedit mode with enter? Emacs - 当我进入主模式时如何自动进入次模式？ - Emacs - how do I automatically enter minor modes when I enter a major mode? 当我期望看到荒谬的模式时，如何使用agda2模式生成模式？ - How can I use agda2-mode to generate patterns when I expect to see an absurd pattern? Aquamacs中的Agda模式 - Agda mode in Aquamacs agda程序必须终止吗？ - Do agda programs necessarily terminate? 如何设置SPC在微型缓冲区模式下充当Enter？ - How to set SPC to act as Enter in minibuffer mode? Textmate：如何输入重复的字符序列？ - Textmate: How do I enter a repeated sequence of characters? 如何让用户使用elisp输入日期？ - How do I let the user enter a date using elisp?

相关标签

粤ICP备18138465号 © 2020-2024 STACKOOM.COM