From CS2800 wiki


If P and Q are propositions, then P Q is shorthand for "P and Q". The LaTeX symbol is \land (for "logical and").