Encodings for U+138C3