Encodings for U+3800