Encodings for U+1DE01