in tools/SymbolsRange.java [239:255]
protected static String code(int codepoint) {
StringBuilder result = new StringBuilder();
String hex = Integer.toHexString(codepoint);
if (codepoint < 128) {
result.append(Character.toString((char)codepoint));
} else if (codepoint < 256) {
result.append("\\x").append(hex);
} else if (codepoint < 0x1000) {
result.append("\\u0").append(hex);
} else if (codepoint < 0x10000){
result.append("\\u").append(hex);
} else {
result.append("\\u").append('{').append(hex).append('}');
}
return result.toString();
}