通过 emacs 转换字符

Question

我将http://www.cse.chalmers.se/~abela/ssft18/lec1/Prelude.agda中的代码复制粘贴到一个emacs文件中，但是存在编码问题；例如，→ 应显示 →。另一个例子是â„•，它应该显示为ℕ。 （http://www.cse.chalmers.se/~abela/ssft18/lec1/TreeSortOrd.agda上的代码也出现了同样的问题）

我尝试按照https://emacs.stackexchange.com/questions/34585/how-convert-txt-file-to-utf-8-from-windows-1251 中提供的答案将emacs 文件中的代码转换为unicode 建议在此处遵循以下程序：

1. 使用C-x C-f访问文件。
2. 将打开的缓冲区恢复为使用M-x + revert-buffer-wth-coding-system 编码的原始文件。
3. 使用M-x + set-buffer-file-coding-system将编码设置为utf-8。

这没有效果。

出了什么问题？

Answer 1

来自 Emacs

M-x eww RET http://www.cse.chalmers.se/~abela/ssft18/lec1/Prelude.agda

在此处正确显示。

如果使用 Firefox：

所提及页面的作者亲切地评论道：“我发现 Firefox 不会自动检测编码，只播放 UTF-8 编码的文本文件。要正确查看，请选择查看 / 文本编码 / Unicode”

这让我的问题消失了。