A binary operator representing logical conjunction or concatenation in set theory and computer science.
