Unicode package to install? about fstar-mode.el

[jkzinzindohoue]

I had the same issue, I think that emacs default font does not support some of the unicode characters. Installing Deja Vu Sans Mono and setting it as my default font did it for me :
http://dejavu-fonts.org/wiki/Download

I added (add-to-list 'default-frame-alist '(font . "DejaVu Sans Mono-10")) to the .emacs.

The rest works pretty well, thanks !

[cpitclaudel]

Indeed, it's a font issue. Emacs doesn't really come with a default font; it uses the system one, and resorts to font fallback when the default font doesn't cover a particular character.

What this means is that just installing a font with good coverage should normally be enough to get the symbols to display properly. That doesn't always cut it, though (there are some small issues with font fallback, on Windows in particular).

DejaVu Sans Mono, Symbola, FreeMono, STIX, Unifont, Segoe UI Symbol, Arial Unicode and Cambria Math are all good candidates. If Emacs doesn't pick up on the new fonts after a restart, the following snippet should help:

(set-fontset-font t 'unicode (font-spec :name "YOUR USUAL EMACS FONT") nil 'append)
(set-fontset-font t 'unicode (font-spec :name "SOME FONT WITH GOOD COVERAGE") nil 'append)