Encodings for U+1EDEF