display of unicode characters in Windows REPL

[Keith Campbell]

I've been enjoying the new latex style unicode character completions in the REPL and IJulia -- thank you, @stevengj and company.

One minor source of frustration was the spotty display of those characters in the Windows REPL. Of the 2 fonts available by default, Lucida Console appears to be the better, but even it is spotty. 

For example, \cap displays properly, but not \cup.

So I wanted to pass along that the freely available DejaVu Sans Mono font has good coverage of the unicode math characters, and can be added to the REPL.

Instructions for adding fonts to the terminal are available at:

http://www.howtogeek.com/howto/windows-vista/stupid-geek-tricks-enable-more-fonts-for-the-windows-command-prompt/

cheers,

Keith

[Steven G. Johnson]

See also

    https://github.com/JuliaLang/julia/issues/6795

As discussed there, it is worth considering whether we should just bundle some decent console replacement with the Julia Windows binary.

[Stefan Karpinski]

I think that would be an excellent idea.