U+22C5 DOT OPERATOR