Encodings for U+238C3