The Fortress Language Specification - CiteSeerX

U+222A UNION ∪ CUP UNION
U+228E MULTISET UNION ⊎ UPLUS
U+22D3 DOUBLE UNION ⋒ CUPCUP
U+2A41 UNION WITH MINUS SIGN
U+2A42 UNION WITH OVERBAR
∪
U+2A45 UNION WITH LOGICAL OR
U+2A4A UNION BESIDE AND JOINED WITH UNION
U+2A4C CLOSED UNION WITH SERIFS
U+2A50 CLOSED UNION WITH SERIFS AND SMASH PRODUCT
They each have lower precedence than any of the set intersection operators.
This is a miscellaneous set operator:
U+2216 SET MINUS \ SETMINUS
F.3.5
Square Arithmetic Operators
The following are the square intersection operators:
U+2293 SQUARE CAP ⊓ SQCAP
U+2A4E DOUBLE SQUARE INTERSECTION
SQCAPCAP
The following are the square union operators:
U+2294 SQUARE CUP ⊔ SQCUP
U+2A4F DOUBLE SQUARE UNION
SQCUPCUP
They each have lower precedence than either of the square intersection operators.
F.3.6
Curly Arithmetic Operators
The following is the curly intersection operator:
U+22CF CURLY LOGICAL AND CURLYAND
The following is the curly union operator:
U+22CE CURLY LOGICAL OR CURLYOR
It has lower precedence than the curly intersection operator.
F.4 Relational Operators
F.4.1
Equivalence and Inequivalence Operators
Every operator listed in this section has lower precedence than any operator listed in Section F.3.
The following are equivalence operators. They may be chained. Moreover, they may be chained with any other single
group of chainable relational operators, as described in later sections.
356