Encodings for U+18417