Encodings for U+10F138