Encodings for U+42D3