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.
Regards, Martin.
Received on Wed Dec 19 2012 - 23:07:57 CST
This archive was generated by hypermail 2.2.0 : Wed Dec 19 2012 - 23:07:59 CST