Encodings for Unicode Character 'TILDE OPERATOR' (U+223C)