Logical And in LaTeX (\land)

Where it is used

Logical AND (conjunction), true exactly when both operands are true.

\land is an alias for \wedge, chosen for readability in logic, as in p \land q or \forall x\, (P(x) \land Q(x)). Because LaTeX classes it as a binary operator, the space around p \land q is set automatically; do not add \, by hand. For a conjunction over many formulas, use the large operator \bigwedge_{i=1}^{n} p_i. In Boolean algebra, AND is often written as multiplication, pq or p \cdot q, instead. Use \land in logic and \wedge in exterior algebra so the source reads clearly, even though they print identically.

Also listed under: Boolean Algebra, Computer Science

Minimal compilable example

Paste this into an empty .tex file and compile it with pdfLaTeX, XeLaTeX or LuaLaTeX.

\documentclass{article}
\begin{document}
Logical And: $\land$

\[ (p \land q) \rightarrow p \]
\end{document}

Related symbols

• Logical Or\lor
• Negation\neg
• Right Arrow (Double)\Rightarrow
• Not Exists\nexists
• Left Arrow (Double)\Leftarrow
• Exists\exists

Frequently asked questions

How do I write Logical And in LaTeX?

Type \land in math mode, for example $(p \land q) \rightarrow p$. It works in plain LaTeX without loading any package.

Which package do I need for \land?

None. \land is part of standard LaTeX, so it compiles with nothing in the preamble but the document class.

Can I use \land in text mode, or only in math mode?

Only in math mode. Outside $...$ LaTeX stops with "Missing $ inserted", so write $\land$ in running text. If you only need the glyph in text, paste the Unicode character ∧ instead (with XeLaTeX or LuaLaTeX and a font that has it).