That's interesting! Never thought that the meaning of the two dots should affect the sort order and that it is not possible to represent with Unicode. If there

That's interesting! Never thought that the meaning of the two dots should affect the sort order and that it is not possible to represent with Unicode. If there are previous examples of the two rendered differently, I think that makes a pretty good case for extending Unicode.