https://www.52unicode.com/n-ary-union-operator-with-dot-unicode