And symbol (∧)
∧ means “and” in logic. p ∧ q, read “p and q”, is a conjunction: it is true only when both p and q are true.
Easily confused with
How to read it
OpenStax’s Contemporary Mathematics defines a conjunction as two statements joined by “and” or “but”, true only if every statement in it is true, and gives ∧ as its symbol. Oscar Levin’s Discrete Mathematics reads P ∧ Q as “P and Q” and says it is true when both P and Q are true; in every other case, one false or both false, it is false. Unicode names the character LOGICAL AND (U+2227) and gives it two other names, wedge and conjunction. The sign is a pointed arch, the opposite way up from ∨, the “or” symbol.
Also searched as: ∧, and symbol in logic, conjunction symbol, logical and, upside down v, wedge symbol.
Other ways of writing “and”
Not every book uses the wedge. forall x: Calgary, an open logic textbook from the University of Calgary, lists the ampersand & as a common choice (it began as a decorative form of the Latin et, “and”), a single dot •, and in some older texts no symbol at all, so that A and B is simply written AB. It calls ∧ the most common choice today. The Stanford Encyclopedia of Philosophy’s entry on classical logic uses & throughout. Whichever sign a book uses, the meaning is the same.
Look-alikes
Unicode cross-refers ∧ to the up arrowhead ⌃ (U+2303), a separate character, and to the large n-ary logical and ⋀ (U+22C0), which joins a whole list of statements. The keyboard caret ^ looks similar but is a different character. In electronics, “and” is drawn as the AND gate.
Read next
- Next in Logic symbolsOr symbol (∨)∨ means “or” in logic. p ∨ q, read “p or q”, is a disjunction: it is true when p is true, when q is true, or when both are.
- The AND gate is the circuit form of logical “and”.AND gateAn AND gate’s output is 1 (high) only when all of its inputs are 1; if any input is 0, the output is 0. Its symbol is a D shape, flat on the input side and rounded on the output side.
More logic symbols
The same shape elsewhere
Browse symbols drawn with lines.
Sources
- Contemporary Mathematics, 2.2 Compound Statements, OpenStax (Rice University), Compound statements; Table 2.3
- Discrete Mathematics, 0.2 Mathematical Statements, Oscar Levin, Discrete Mathematics: An Open Introduction, 3rd edition, Oscar Levin, University of Northern Colorado (Open Math Books), Logical connectives
- forall x: Calgary. An Introduction to Formal Logic, P. D. Magnus, Tim Button, Robert Trueman and Richard Zach, forall x: Calgary (Fall 2025 edition), Open Logic Project, University of Calgary, Sec. 5.2 Conjunction; Appendix A.2 Alternative symbols
- Classical Logic, Stewart Shapiro and Teresa Kouri Kissel, Stanford Encyclopedia of Philosophy, Metaphysics Research Lab, Stanford University, Sec. 2.3 Compound formulas
- Earliest Uses of Symbols of Set Theory and Logic, Jeff Miller, Earliest Uses of Various Mathematical Symbols, MacTutor History of Mathematics, University of St Andrews, Conjunction; Disjunction
- Mathematical Operators: Range 2200–22FF (code chart), The Unicode Standard, Version 18.0, Unicode Consortium, Logical and set operators, 2227
Researched, edited and approved by Rory Hansen before publishing. Last reviewed October 9, 2026. How we research
Added .