Encodings for U+31800