Logic signs and symbols

Symbol | Symbol Name | Meaning / definition | Example |
---|---|---|---|

⋅ |
and | and | x
⋅ y |

^ | caret / circumflex | and | x ^ y |

& | ampersand | and | x & y |

+ | plus | or | x + y |

∨ | reversed caret | or | x
∨ y |

| | vertical line | or | x | y |

x' |
single quote | not - negation | x' |

x |
bar | not - negation | x |

¬ | not | not - negation | ¬ x |

! | exclamation mark | not - negation | ! x |

⊕ | circled plus / oplus | exclusive or - xor | x
⊕ y |

~ | tilde | negation | ~ x |

⇒ | implies | ||

⇔ | equivalent | if and only if (iff) | |

↔ | equivalent | if and only if (iff) | |

∀ | for all | ||

∃ | there exists | ||

∄ | there does not exists | ||

∴ | therefore | ||

∵ | because / since |