You are here: technology > logic-symbols | sitemap | disclaimer | contact | |
home technology bibliography |
Here's a table of suggested plain-text approximations of symbols and their HTML entity references.
Symbol name | Symbol | Plain Text | HTML entity | |||
---|---|---|---|---|---|---|
and | ∧ | & | ∧ | |||
or | ∨ | | | ∨ | |||
not | ¬ | ~ | ¬ | |||
conditional | → | -> | → | |||
biconditional | ↔ | <-> or iff | ↔ | |||
for all | ∀ | A | ∀ | |||
there exists | ∃ | E | ∃ | |||
equal | = | = | = | |||
non equal | ≠ | != | ≠ | |||
less than or equal | ≤ | <= | ≤ | |||
greater than or equal | ≥ | >= | ≥ | |||
element of | ∈ | in | ∈ | |||
not element of | ∉ | not in | ∉ | |||
subset of | ⊆ | c | ⊆ | |||
union | ∪ | u | ∪ | |||
intersection | ∩ | n | ∩ | |||
powerset | ℘ | Pow | ℘ | |||
infinity | ∞ | infinity | ∞ |
To get Greek letters, put the name of the greek letter between '&' and ';'. For example, 'Γ' produces 'Γ', and 'γ' produces 'γ'.
To indicate subscripts and superscripts use underscore _ and caret ^to indicate subscripts and superscripts (e.g., 'x_3' and 'x^3'). If you need to disambiguate from power (which is not common in logics, use ** for that instead of ^.