Encodings for U+4DEF1