Encodings for Unicode Character 'REVERSE TILDE OPERATOR ABOVE RIGHTWARDS ARROW' (U+2B47)