Encodings for U+1DC80