Encodings for U+3808