https://www.52unicode.com/n-ary-circled-times-operator-unicode