📋 Propositional Logic symbols & their LaTeX formulas specifically for Obsidian flavor Markdown

PROPOSITIONAL_SYMBOLS_LATEX_OBSIDIAN.md

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$

11. Nand (NOT AND)

• Symbol: ↑
• Obsidian Markdown: $\uparrow$

12. Nor (NOT OR)

• Symbol: ↓
• Obsidian Markdown: $\downarrow$

13. Equivalence (EQUIVALENT TO)

• Symbol: ≡
• Obsidian Markdown: $\equiv$

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

@Scrappers-glitch Happy to help C: