would it be a good idea to add \UXXXXXXXX (8 hex digits) to 2.0? (only characters in the 0000-ffff range would be accepted in the current version, of course). </F>