HI: I would be really happy if postgresql had an upper case version of the ß german character. The wiki page https://en.wikipedia.org/wiki/%C3%9F
indicates that the capital (U+1E9E ẞ LATIN CAPITAL LETTER SHARP S) was encoded <https://en.wikipedia.org/wiki/Codepoint> by ISO 10646 <https://en.wikipedia.org/wiki/ISO_10646> in 2008. BTW the reason that I'd like upper('ß') to give something different than 'ß' is because I have written a simple substitution puzzle for a large number of languages where I show the encrypted lower case words in upper case and the successful letter substitution submissions in lower case - so I need the upper and lower case versions of each letter to be different! Thanks for any assistance! Maybe I can hack what I want in python (which is what I am using for the puzzle). Celia McInnis
