use spire.optional.unicode.SymbolicSetOps for ∩ ∪ etc