Emacs mode/method 用于在文本中放置逻辑符号？

Question

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

Answer 1

至少在组织模式下，可以在 .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 char 的名称或代码点。换句话说，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输入法。 IE。使用 C-u C-\ TeX RET 之后键入 \forall 将插入 ∀ 字符。

[ 好吧，实际上，我将 TeX 设置为我的默认编码系统，所以我真的只需要点击 C-\ 即可启用此输入法。 ]

Emacs mode/method 用于在文本中放置逻辑符号？

Emacs mode/method for logic symbol placement in text?

emacs