Encodings for U+1ADDD