Encodings for U+17F23