https://www.52unicode.com/squared-dot-operator-unicode