Thank you, I see. At this very moment and for the reason I do not understand, UTF-8 also works in xterm, which uses, as you are saying, size 13. Does that mean we don't need uxterm anymore in general? Or am I having some specific configuration which makes xterm display UTF-8 at the moment? By the way, I am in favor of size 13, but this is just my subjective view: I am usually having many windows on the screen and have to save on screen space.