Encodings for Unicode Character 'TOP RIGHT CORNER' (U+231D)