https://www.52unicode.com/triple-colon-operator-unicode