Encodings for U+138BB