Encodings for U+42251