Encodings for U+3238C