HTML entity codes for MAT17

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 ∴ &#8756
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