Question

我想将实际的逻辑符号放入我的emacs缓冲区，例如逻辑符号“∀”或“∃”或“⇒”，直接放入我的（基本）文本或.org或任何缓冲区。我在xmsi-math-symbols-input.el找到ErgoEmacs，但我想知道这是否是“最佳做法”。也许最好的做法是恰到好处Tex / Latex副本，特别是如果我正在进行组织模式？

Answer 1

至少在org-mode中，.org缓冲区中的place special symbols可能就像它们的原始乳胶标记一样，例如：

\forall

成为UTF-8

∀

当你做C-c C-x \

时

......但这不是一般解决方案。

Answer 2

您可以在Emacs中正常使用相应的Unicode字符。将您想要的任何键绑定到您想要的任何键。例如：

(global-set-key [f2] "∀")
(global-set-key [f3] "∃")
(global-set-key [f4] "⇒")

要使用char获取字符串，可以使用C-x 8 RET并键入Unicode字符的名称或代码点。换句话说，C-x 8 RET允许您插入任何Unicode字符。

例如，∀的Unicode代码点为2200. C-x 8 RET 2200 RET插入∀个字符。

∀的Unicode名称为FOR ALL。 C-x 8 RET for all RET也会插入∀字符。

您可能希望将特定字符绑定到键的原因是为了方便起见 - C-x 8 RET非常通用，而且通常很慢。

Answer 3

我这样做是使用TeX输入法。即使用C-u C-\ TeX RET之后键入\forall将插入∀字符。

[嗯，实际上，我将TeX设置为我的默认编码系统，因此我只需要点C-\来启用此输入法。 ]

用于在文本中放置逻辑符号的Emacs模式/方法？

3 个答案: