Encodings for U+3988