Encodings for U+F0742