Encodings for Unicode Character 'COMBINING DOUBLE TILDE RIGHT HALF' (U+FE23)