Encodings for Unicode Character 'COMBINING DOUBLE OVERLINE' (U+033F)