Encodings for U+42F3