Encodings for U+F4DE7