On 20 December 2012 05:03, "Martin J. Dürst" <duerst_at_it.aoyama.ac.jp> wrote:
> I'm looking for a (preferably online) tool that converts Unicode characters
> to Unicode character names. Richard Ishida's tools
> (http://rishida.net/tools/conversion/) do a lot of conversions, but not
> names.
My "What Unicode character is this?" javascript tool converts Unicode
characters to Unicode character names:
http://www.babelstone.co.uk/Unicode/whatisit.html
Andrew
Received on Thu Dec 20 2012 - 10:46:49 CST
This archive was generated by hypermail 2.2.0 : Thu Dec 20 2012 - 10:46:49 CST