Emacs中Agda模式下\Mc*、\Mi*类Unicode字符渲染失败求助

• 修正load-path配置顺序与路径
  如果你把font-utils.el等文件直接放在~/.emacs.d目录下，之前的load-path指向子目录是错误的，调整配置顺序确保先加载路径再引入工具：

  (add-to-list 'load-path "~/.emacs.d/")
  (require 'font-utils)
  (require 'ucs-utils)
  (require 'list-utils)
  (require 'unicode-fonts)
  (unicode-fonts-setup)
  

  若文件在~/.emacs.d/unicode-fonts/子目录，则保持路径设置，确保所有.el文件都在该目录下。

• 强化字体集优先级设置
  给字体设置添加:prepend t参数，让JuliaMono优先用于目标字符范围，避免被其他字体覆盖：

  (set-frame-font "Iosevka SS04" nil t)
  (set-fontset-font "fontset-default" '(#x1d49c . #x1d537) "JuliaMono Light" nil :prepend t)
  

  也可单独测试单个字符（比如𝒰的Unicode码是U+1D4B0）：

  (set-fontset-font "fontset-default" #x1d4b0 "JuliaMono Light" nil :prepend t)
  

• 排查字体生效情况
  重启Emacs后，光标定位到无法渲染的字符上，执行M-x describe-char，查看输出中的font字段，确认是否使用了JuliaMono。若未使用，检查字体名称是否与系统中安装的一致：

  • Linux用fc-list | grep JuliaMono查看准确字体名
  • Mac用system_profiler SPFontsDataType | grep JuliaMono验证
  • Windows可在字体设置中查看字体的"全名"

• 清理字体缓存并验证Emacs版本

  • 删除~/.emacs.d/fonts.cache-*文件后重启Emacs，清除旧字体缓存
  • 确保Emacs版本在27以上，旧版本对Unicode字体子集的支持存在缺陷

• 针对Agda模式单独配置
  若全局配置不生效，给Agda模式单独设置字体规则：

  (add-hook 'agda-mode-hook
            (lambda ()
              (set-fontset-font "fontset-default" '(#x1d49c . #x1d537) "JuliaMono Light" nil :prepend t)))
  

  也可针对Agda的特定符号face设置字体，先通过M-x describe-face查看字符对应的face名称，再配置：

  (set-face-attribute 'agda-inductive-type nil :font "JuliaMono Light")
  

内容的提问来源于stack exchange，提问作者Learning Student