问题描述
使用Notepad ++中的UTF8编码文件,复制/粘贴以下内容:
∃ → ∃ ∃ ∃∃∃
然后用空格替换箭头,您可能会期望∃ ∃ ∃ ∃∃∃
,
但您会得到6个未知字符(白色方块)。
将箭头再次粘贴到该行的任何位置,将恢复“存在”符号!
因此,我无法在记事本++中设置模态逻辑语句◊∃x[Φ(X)]
。
我无法解释。有想法吗?
(PS:使用Notepad ++ 64位V7.8.7)
解决方法
根据建议,我在github上记录了一个问题。更多here
如果要重新编译,可以使用补丁。
解决方法是,记事本(我使用win10)中可用的某些字体(和变体)没有此缺陷:
- 坎布里亚
- 一些 Noto (例如 Noto Naskh阿拉伯语),但不是全部
- 一些 Segoe (例如 Segoe Ui Symbol ),但不是全部
- 某些 Source Code Pro (例如 Source Code Pro Medium ),但不是全部
- 所有 Yu Gothic (我现在将 Yu Gothic Ui 用于我的报告)
感谢所有人。