[julia-users] Re: Use unicode character in PyPlot

[Steven G. Johnson]

See e.g. here on changing the 
font: https://github.com/stevengj/PyPlot.jl/issues/114

Probably you should file a Matplotlib issue, since I don't think this is 
Julia-specific.