Skip to content

Instantly share code, notes, and snippets.

@zudsniper
Last active October 27, 2024 14:37
Show Gist options
  • Save zudsniper/fe553bc6a4ee94fcdd74bf4eb0722043 to your computer and use it in GitHub Desktop.
Save zudsniper/fe553bc6a4ee94fcdd74bf4eb0722043 to your computer and use it in GitHub Desktop.
πŸ“‹ Propositional Logic symbols & their LaTeX formulas specifically for Obsidian flavor Markdown

obsidian.md markdown latex propositions

common propositional logic symbols for use in Obsidian markdown note-taking software - specifically for use with LaTeX - either inline ($..$) or equation ($$...$$)

  1. Conjunction (AND)

    • Symbol: ∧
    • Obsidian Markdown: $\land$ or $\wedge$
  2. Disjunction (OR)

    • Symbol: ∨
    • Obsidian Markdown: $\lor$ or $\vee$
  3. Negation (NOT)

    • Symbol: Β¬
    • Obsidian Markdown: $\neg$ or $\lnot$
  4. Implication (IMPLIES)

    • Symbol: β†’
    • Obsidian Markdown: $\rightarrow$ or $\implies$
  5. Biconditional (IF AND ONLY IF)

    • Symbol: ↔
    • Obsidian Markdown: $\leftrightarrow$ or $\iff$
  6. Exclusive OR (XOR)

    • Symbol: βŠ•
    • Obsidian Markdown: $\oplus$
  7. True

    • Symbol: ⊀
    • Obsidian Markdown: $\top$
  8. False

    • Symbol: βŠ₯
    • Obsidian Markdown: $\bot$
  9. Universal Quantifier (FOR ALL)

    • Symbol: βˆ€
    • Obsidian Markdown: $\forall$
  10. Existential Quantifier (THERE EXISTS)

  • Symbol: βˆƒ
  • Obsidian Markdown: $\exists$
  1. Nand (NOT AND)
  • Symbol: ↑
  • Obsidian Markdown: $\uparrow$
  1. Nor (NOT OR)
  • Symbol: ↓
  • Obsidian Markdown: $\downarrow$
  1. Equivalence (EQUIVALENT TO)
  • Symbol: ≑
  • Obsidian Markdown: $\equiv$
@pavly-gerges
Copy link

Thanks for this comprehension, you saved me a lot of time!

@zudsniper
Copy link
Author

Thanks for this comprehension, you saved me a lot of time!

@Scrappers-glitch Happy to help C:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment