That effectively prevents me from using the characters that encoding makes available. I suppose that I could try using a different unicode encoding for Terminal (I'm not sure which one would be the ...