How can I convert a string containing an escaped unicode character to a character?
(string-to-char "\\u03C0")
evaluates to 92
which is the character value of the first \
in the string. I somehow need to modify the string so I can call (string-to-char "\u03C0")
and get 960
. (substring "\\u03C0" 1)
evaluates to "u03c0"
which isn't quite right either!