Encodings for U+12871