如何修復Agda的bool符號，在Emacs中顯示爲十六進制和十進制數字的方框？

我剛剛從Wiki中安裝了Agda Windows二進制文件，但由於某些原因，blackboard bold B symbol（由Stump提供的免費Agda書籍用於布爾值）顯示不正確。我試過改變font as here，但那沒有奏效。如何修復Agda的bool符號，在Emacs中顯示爲十六進制和十進制數字的方框？

任何想法是什麼問題？

來源

2016-11-18 Marko Grdinic

可能仍然只是字體問題。 DejaVu Sans Mono是我推薦的。 –

不......我不認爲設置字體會出於某種原因影響這些特殊字符。這似乎是一個Emacs問題，但我直接使用與二進制打包的那個，所以這很奇怪。我正在使用Windows 10. –

更新：它似乎是一個字體問題。當我將它設置爲簡單的DejaVu Sans時，符號顯示正確。但是它們不包含大多數字體，包括你推薦的DejaVu Sans Mono。也許我會嘗試用[Wiki]（http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Docs.HowToSeeUnicode）替換它們。 –

在我的電腦中，C:\Users\Marko\AppData\Roaming\.emacs文件中添加以下Lisp代碼片段：

(set-fontset-font "fontset-default" nil 
        (font-spec :name "DejaVu Sans"))

這臺幻覺記憶三世爲the fallback font失蹤的Unicode字符。有了它，它適用於我。

來源

2016-11-18 13:18:49

如何修復Agda的bool符號，在Emacs中顯示爲十六進制和十進制數字的方框？

回答

相關問題