Certainly! Obsidian is a popular note-taking application that supports Markdown with LaTeX integration for mathematical notation. When using LaTeX in Obsidian's Markdown flavor, you typically enclose the LaTeX code within double dollar signs $$...$$ for block math and single dollar signs $...$ for inline math.
Here's an exhaustive list of the symbols for propositional logic and their formulas specifically formatted for Obsidian flavor Markdown:
-
Conjunction (AND)
- Symbol: ∧
- Obsidian Markdown:
$\land$or$\wedge$
-
Disjunction (OR)
- Symbol: ∨
- Obsidian Markdown:
$\lor$or$\vee$
-
Negation (NOT)
- Symbol: ¬
- Obsidian Markdown:
$\neg$or$\lnot$
-
Implication (IMPLIES)
- Symbol: →
- Obsidian Markdown:
$\rightarrow$or$\implies$
-
Biconditional (IF AND ONLY IF)
- Symbol: ↔
- Obsidian Markdown:
$\leftrightarrow$or$\iff$
-
Exclusive OR (XOR)
- Symbol: ⊕
- Obsidian Markdown:
$\oplus$
-
True
- Symbol: ⊤
- Obsidian Markdown:
$\top$
-
False
- Symbol: ⊥
- Obsidian Markdown:
$\bot$
-
Universal Quantifier (FOR ALL)
- Symbol: ∀
- Obsidian Markdown:
$\forall$
-
Existential Quantifier (THERE EXISTS)
- Symbol: ∃
- Obsidian Markdown:
$\exists$
- Nand (NOT AND)
- Symbol: ↑
- Obsidian Markdown:
$\uparrow$
- Nor (NOT OR)
- Symbol: ↓
- Obsidian Markdown:
$\downarrow$
- Equivalence (EQUIVALENT TO)
- Symbol: ≡
- Obsidian Markdown:
$\equiv$
To use these symbols in Obsidian, simply type them as provided. The application will render the LaTeX notation as the corresponding mathematical symbols when you switch to preview mode.
I hope this helps you use propositional logic symbols in Obsidian! If you have any more questions or need further assistance, please let me know.