A logical operator representing conjunction, equivalent to "and" in propositional and predicate logic.
