Encodings for U+E3257