Encodings for U+4172