Encodings for U+DEB17