U+2A45 "⩅" Union with Logical Or Unicode Character

U+2A45 "⩅" Union with Logical Or is a mathematical symbol that combines the concept of set union, typically represented by the cup shape (∪), with the logical OR operator from Boolean algebra. This glyph is used in advanced mathematics and logic notation to denote a union operation that is explicitly linked to the logical disjunction of elements or conditions, often appearing in contexts where set theory and propositional logic intersect. It provides a precise visual cue that the union is not merely a set operation but also carries the semantic weight of logical inclusivity, distinguishing it from plain union in certain specialized texts or formal proofs.