Encodings for U+7F1D