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”.