用於邏輯符號在文本中的位置的Emacs模式/方法？

Question

我想將實際的邏輯符號放入我的emacs緩衝區，例如邏輯符號「∀」或「∃」或「⇒」，直接放入我的（基本）文本或.org或任何緩衝區。我發現xmsi-math-symbols-input.el在ErgoEmacs，但我想知道這是否是「最佳實踐」。也許最好的做法是恰到好處的Tex/Latex副本，特別是如果我在做組織模式？

Answer 1

您可以在Emacs中正常使用相應的Unicode字符。綁定任何你想要的任何鍵。例如：

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

要獲得與焦炭的字符串，可以使用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 2

至少在org-模式，所以能夠place special symbols在.ORG緩衝器就像他們的生膠乳標記，例如：

\forall 

成爲UTF-8

∀ 

時你做Cc Cx \

...但這不是一個通用的解決方案。

Answer 3

我這樣做的方式是用TeX輸入法。即使用C-u C-\ TeX RET之後打字\forall將插入∀字符。

[呃，實際上，我把TeX設置爲我的默認編碼系統，所以我真的只需要打C-\來啓用這個輸入法。 ]