Encodings for U+193C7