Encodings for U+4512