This is a list of HTML entity codes and names for symbols appearing in MAT17, for people who want to produce their MAT17 documents as HTML.
If anything here is wrong, or you want a few things added, please let me know at phoheo at theparks dot id dot au
Please note:
MAT17 concept | Symbol | Entity name | Entity code | Comments |
---|---|---|---|---|
Negation | ~ | ∼ | ~ | Shift-` key |
¬ | ¬ | ¬ | Grimaldi | |
Conjunction | ⋀ | ⋀ | ||
Inclusive disjunction | ⋁ | ⋁ | ||
Exclusive disjunction | ⊻ | ⊻ | ||
Equivalence | ↔ | ↔ | ↔ | |
Implication | → | → | → | |
← | ← | ← | ||
Logical Equivalence | ≡ | ≡ | ≡ | |
⇔ | ⇔ | ⇔ | ||
Not logically equivalent | ≢ | ≢ | ||
⇎ | ⇎ | |||
Logical implication | ⇒ | ⇒ | ⇒ | |
⇐ | ⇐ | ⇐ | ||
Not Logically Implied | ⇏ | ⇏ | ||
⇍ | ⇍ | |||
Tautology | ⊧ | ⊧ | ||
NAND | ↑ | ↑ | ↑ | NAND: Grimaldi only |
Exponentiation | ||||
NOR | ↓ | ↓ | ↓ | Grimaldi only |
Is an element of | ∈ | ∈ | ∈ | |
∋ | ∋ | ∋ | ||
Is not an element of | ∉ | ∉ | ∉ | |
∌ | ∌ | |||
Is a subset of | ⊂ | ⊂ | ⊂ | |
Is a superset of | ⊃ | ⊃ | ⊃ | |
Is not a subset of | ⊄ | ⊄ | ⊄ | |
Is not a superset of | ⊅ | ⊅ | ||
Contained in or equal to | ⊆ | ⊆ | ⊆ | |
Superset of or equal to | ⊇ | ⊇ | ⊇ | |
Not subset/superset of or equal to | ⊈ | ⊈ | ||
⊉ | ⊉ | |||
For all | ∀ | ∀ | ∀ | |
There exists | ∃ | ∃ | ∃ | |
There does not exist | ∄ | ∄ | ||
Null set | ∅ | ∅ | ∅ | |
Such that | | | | | Grimaldi only - equivalent to the vertical bar (shift-\) | |
Therefore | ∴ | ∴ | ∴ | |
Sum | ∑ | ∑ | ∑ | Greek capital letter epsilon |
Vertex degrees | δ | δ | δ | Greek lowercase letter delta |
Graph connectivity number | κ | κ | κ | Grimaldi; Greek lowercase letter Kappa |
Binary operation | ∘ | ∘ | * is another designation of binary operation | |
Multiplication | × | × | × | * is used in the notes |
Division | ÷ | ÷ | ÷ | |
Plus / Minus | ± | ± | ± | |
Union | ∪ | ∪ | ∪ | |
Intersection | ∩ | ∩ | ∩ | |
Power set | ℘ | ℘ | ℘ | Weird name, weird symbol ... |
Empty word | λ | λ | λ | Greek lowercase lambda |
Concatenation | · | · | · | Also used sometimes for multiplication in the notes |