Encodings for Unicode Character 'NOT TILDE' (U+2241)