Encodings for Unicode Character 'DOT OPERATOR' (U+22C5)