Encodings for U+21D37