# How to Type the Connective Symbols of Symbolic Logic

Here is a guide on how to type the connective symbols for symbolic logic, also called formal logic or sentential logic, on Mac and Windows. You can use these codes or just copy and paste the symbols from this page.

This article will not cover the meanings of the symbols in depth, but this will be covered in my course Symbolic Logic for Teens, coming to Critikid this March.

Connective | Symbol |
---|---|

Negation | ¬ |

Conjunction | ∧ |

Disjunction | ∨ |

Conditional | → |

Biconditional | ↔ |

Therefore | ∴ |

### How to Type the Negation Symbol ¬

The negation symbol in formal logic looks like a little hook. It means “not” or “it is not the case that”.

On Windows: Press **Alt + 170**

On Mac: Press **Option + L**

### How to Type the Conjunction Symbol ∧

The conjunction symbol in formal logic means the same thing as English “and” and “but”.

On Windows: In Microsoft word, press **Alt + 8743**

On Mac: Press **Control + Command + Space** and search “logical and”

### How to Type the Disjunction Symbol ∨

The disjunction symbol in formal logic stands for the inclusive “or”, which means “either, or, or both”.

On Windows: In Microsoft word, type **2228** and then press **Alt + X**

On Mac: Press **Control + Command + Space** and search “logical or”.

### How to Type the Conditional Symbol →

The conditional symbol in formal logic means “if, then”.

On Windows: In Microsoft word, type **2192** and then press **Alt + X** (or, for a different style, type -->)

On Mac: Press **Control + Command + Space** and search “rightwards arrow”.

### How to Type the Biconditional Symbol ↔

The conditional symbol in formal logic means “if and only if”.

On Windows: In Microsoft word, type **2194** and then press **Alt + X** (or just type -->)

On Mac: Press **Control + Command + Space** and search “left right arrow”.

### How to Type the Therefore Symbol ∴

The therefore symbol indicates a conclusion.

On Windows: In Microsoft word, type **Alt + 8756**

On Mac: Press **Control + Command + Space** and search “therefore”.