Encodings for U+DEB13