Encodings for U+138F1