Encodings for U+1EDEC