Alterar a codificação de um arquivo de texto no Emacs?

Alterar a codificação de um arquivo de texto no Emacs?

O Emacs mostra em um arquivo de texto:

Dado um alfabeto finito \246\262, (conjunto vazio) \2016\3221 denotando o conjunto \2016\3221.

Mas deveria mostrar

Dado um alfabeto finito Σ, (conjunto vazio) ∅ denotando o conjunto ∅.

O que devo fazer para que o Emacs mostre o texto corretamente? Obrigado.

informação relacionada