Encodings for U+1DE80