The Coq mailing list

[Christian Doczkal <doczkal AT ps.uni-saarland.de>]

Dear all 

> With emacs 23 you get support for freetype fonts. I am quite satisfied
> by using the Inconsolata font, which has nice unicode glyphs. But it
> remains the limitations of coqdoc and of extraction with respect to
> unicode...

Indeed working with unicode symbols in emacs23 works quite nicely and in
combination with \usepackage[utf8]{inputenc} the "literate" feature of
the listings package allows the replacement of the unicode symbols from
the coq code with proper latex symbols.

But I have not used this extensively so far, so I don't know if there
are any quirks for not so common unicode symbols. Comments welcome.

-- 
Regards
Christian