Encodings for U+0DE4