Encodings for U+3138D