common propositional logic symbols for use in Obsidian markdown note-taking software - specifically for use with LaTeX - either inline ($..$
) or equation ($$...$$
)
-
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$
Thanks for this comprehension, you saved me a lot of time!