Encodings for U+1DEFA