Encodings for U+251A2