Encodings for U+DEFA8