Encodings for U+1ADEB