In Google Docs you can go to Insert->Special Character and this appears to be able to recognize a whole lot more characters.