In mathematical logic, the symbol used to create new propositions from given propositions or new propositional forms from given propositional forms.

### Symbols

The main connectors used in mathematical logic are:

- the connector for the conjunction “
*and*” is symbolized by “∧” - the connector for the disjunction “
*or*” is symbolized by “∨” - the connector for the negation “not” is symbolized by “¬”
- the connector for the conditional “
*if*…*then*…” or “*implies*” is symbolized by “→” - the connector for the biconditional “
*is equivalent to*” is symbolized by “↔” - the connector for the identity or
**equivalence**“*if and only if*” is symbolized by “⇔” - the connector for the implication “
*leads to*” is symbolized by “⇒”