Nothing jumps to mind then, sorry. I would double-check the terminal encoding settings and the font. I mean OK, the other characters are rendered fine but the font might still have a few omissions.
Nothing jumps to mind then, sorry. I would double-check the terminal encoding settings and the font. I mean OK, the other characters are rendered fine but the font might still have a few omissions.