Encodings for U+3D01