I have exactly the same problem with the same characters--slowly finding more--on my Samsung Galaxy Mini. If anyone knows a fix for this, it would be well appreciated. As 'jengman_cd' says above, it's quite a serious problem as these are all very common characters.
As for Samsung support? Forget it...