# Symbols:Symbolic Logic/Conjunction

## Conjunction

- $\land$

And.

A binary operation on two propositions.

$P \land Q$ means **$P$ is true and $Q$ is also true.**

The $\LaTeX$ code for \(P \land Q\) is `P \land Q`

or `P \wedge Q`

.

Some $\LaTeX$ compilers allow `\and`

(the version of MathJax used on $\mathsf{Pr} \infty \mathsf{fWiki}$ does not).

In the context of propositional logic, on $\mathsf{Pr} \infty \mathsf{fWiki}$ `\land`

is **standard**.

## Deprecated Symbols

### And

- $\cdot$

And.

A binary operation on two propositions.

$P \cdot Q$ means **$P$ is true and $Q$ is true**.

In this usage, it is called **dot**.

An alternative to $P \land Q$, usually used by logicians.

The $\LaTeX$ code for \(P \cdot Q\) is `P \cdot Q`

.

### Ampersand

- $\&$

$P \mathop \& Q$ means **$P$ is true and $Q$ is true**.

An alternative to $P \land Q$, which is what is usually used by logicians.

The $\LaTeX$ code for \(P \mathop \& Q\) is `P \mathop \& Q`

or `P \mathop \And Q`

.

## Also see

See:

for other uses of this symbol.