Unicode 如何修复Agda中的布尔符号，该符号在Emacs中显示为带有十六进制和十进制数字的方形框？

我刚从维基上安装了Agda Windows二进制文件，但由于某种原因（Stump为布尔人提供的免费Agda书籍使用的）显示不正确。我试着换衣服，但没用

---

知道问题是什么吗？

在我的计算机上，在

C:\Users\Marko\AppData\Roaming\.emacs

文件中，我添加了以下Lisp代码片段：

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

---

这会将DejaVu SAN设置为缺少的unicode字符。有了这个，它对我很有用。

可能仍然只是字体问题。DejaVu Sans Mono是我推荐的。不……我不认为字体的设置会因为某种原因影响这些特殊字符。这似乎是一个Emacs问题，但我使用的是一个直接打包的二进制文件，所以这很奇怪。我正在使用Windows 10。更新：这似乎是字体问题。当我将其设置为纯DejaVu Sans时，符号确实正确显示。但大多数字体上都没有，包括您推荐的DejaVu Sans Mono。也许我会试着把它们换成其他的。