Encodings for U+7E13