Writing\Proposition\And

The conjunctive truth functor.  Its truth-table is:

Essentially both propositions linked by the ‘and’ operator must be true for the compound proposition to evaluate as true.