Encodings for Unicode Character 'MINUS TILDE' (U+2242)