The symbol 
, used for the union of sets, and,
sometimes, also for the logical connective OR instead of the
symbol 
(vee). In
fact, for any two sets 
and 
 |
and this equivalence demonstrates the connection between the set-theoretical and the logical meaning.
