Encodings for U+F072D