Character Name |
Character |
INFINITY (Sideways 8) |
∞ |
ALEF INFINITY SYMBOL |
ℵ |
WEIERSTRASS POWER SET (Script Capital P) |
℘ |
IMAGINARY Part (Blackletter I) |
ℑ |
REAL NUMBER (Blackletter R) |
ℜ |
DOUBLE-STRUCK REAL NUMBER (Doublestruck R) |
ℝ |
COMPLEX NUMBERS (Doublestruck C) |
ℂ |
NATURAL NUMBERS (Doublestruck N) |
ℕ |
PRIME NUMBERS (Doublestruck P) |
ℙ |
RATIONAL NUMBERS (Doublestruck Q) |
ℚ |
INTEGERS (Doublestruck Z) |
ℤ |
Codes for Logic and Set Theory Symbols
Character Name |
Character |
FOR ALL (Upside-down A) |
∀ |
COMPLEMENT (Thin C) |
∁ |
THERE EXISTS (Backwards E) |
∃ |
THERE DOES NOT EXIST (Backwards E with slash) |
∄ |
EMPTY SET (O slash) |
∅ |
NOT SYMBOL (Corner) |
¬ |
TILDE (Alternate Not Symbol) |
˜ |
LOGICAL AND (Wedge or Upside down V Symbol) |
∧ |
LOGICAL OR (V Symbol) |
∨ |
XOR |
⊻ |
NAND |
⊼ |
NOR |
⊽ |
INTERSECTION (Cap or Upside Down U) |
∩ |
UNION (Cup or U Symbol) |
∪ |
ELEMENT OF |
∈ |
NOT AN ELEMENT OF |
∉ |
SMALL ELEMENT OF |
∊ |
CONTAINS AS MEMBER |
∋ |
DOES NOT CONTAIN AS MEMBER |
∌ |
SMALL CONTAINS AS MEMBER |
∍ |
SET MINUS |
∖ |
SUBSET OF (Sideways U with cap to left) |
⊂ |
SUPERSET OF (Sideways U with cap to right) |
⊃ |
NOT A SUBSET OF (Subset with Slash) |
⊄ |
NOT A SUPERSET OF (Superset with slash) |
⊅ |
SUBSET OF OR EQUAL TO (Subset with line below) |
⊆ |
SUPERSET OF OR EQUAL TO (Superset with line below) |
⊇ |
NEITHER A SUBSET OF NOR EQUAL TO |
⊈ |
NEITHER A SUPERSET OF NOR EQUAL TO |
⊉ |
SUBSET OF WITH NOT EQUAL TO |
⊊ |
SUPERSET OF WITH NOT EQUAL TO |
⊋ |
DIAMOND OPERATOR
(Possibility) |
⋄ |
ASYMPTOTICALLY EQUAL TO
One to one Correspondence |
≃ |
NOT ASYMPTOTICALLY EQUAL TO |
≄ |
MULTISET (U with arrow) |
⊌ |
MULTISET MULTIPLICATION (U with dot in center) |
⊍ |
MULTISET UNION (U with plus in center) |
⊎ |
DOUBLE SUBSET |
⋐ |
DOUBLE SUPERSET |
⋑ |
DOUBLE INTERSECTION |
⋒ |
DOUBLE UNION |
⋓ |
N-ARY LOGICAL AND |
⋀ |
N-ARY LOGICAL OR |
⋁ |
N-ARY INTERSECTION/td> |
⋂ |
N-ARY UNION |
⋃ |
CURLY LOGICAL OR |
⋎ |
CURLY LOGICAL AND |
⋏ |
CIRCLED PLUS (Direct Sum) |
⊕ |
CIRCLED TIMES (Vector Product) |
⊗ |
CIRCLED MINUS |
⊖ |
CIRCLED DIVISION SLASH |
⊘ |
Character Name |
Character |
ELEMENT OF WITH LONG HORIZONTAL STROKE |
⋲ |
ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE |
⋳ |
SMALL ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE |
⋴ |
ELEMENT OF WITH DOT ABOVE |
⋵ |
ELEMENT OF WITH OVERBAR |
⋶ |
SMALL ELEMENT OF WITH OVERBAR |
⋷ |
ELEMENT OF WITH UNDERBAR |
⋸ |
ELEMENT OF WITH TWO HORIZONTAL STROKES |
⋹ |
CONTAINS WITH LONG HORIZONTAL STROKE |
⋺ |
CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE |
⋻ |
SMALL CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE |
⋼ |
CONTAINS WITH OVERBAR |
⋽ |
SMALL CONTAINS WITH OVERBAR |
⋾ |
NOTATION BAG MEMBERSHIP |
⋿ |
Character Name |
Character |
STRICTLY EQUIVALENT TO |
≣ |
NOT IDENTICAL TO |
≢ |
LESS-THAN OVER EQUAL TO |
≦ |
GREATER-THAN OVER EQUAL TO |
≧ |
LESS-THAN BUT NOT EQUAL TO |
≨ |
GREATER-THAN BUT NOT EQUAL TO |
≩ |
MUCH LESS-THAN |
≪ |
MUCH GREATER-THAN |
≫ |
BETWEEN |
≬ |
NOT EQUIVALENT TO |
≭ |
NOT LESS-THAN |
≮ |
NOT GREATER-THAN |
≯ |
NEITHER LESS-THAN NOR EQUAL TO |
≰ |
NEITHER GREATER-THAN NOR EQUAL TO |
≱ |
LESS-THAN OR EQUIVALENT TO |
≲ |
GREATER-THAN OR EQUIVALENT TO |
≳ |
NEITHER LESS-THAN NOR EQUIVALENT TO |
≴ |
NEITHER GREATER-THAN NOR EQUIVALENT TO |
≵ |
LESS-THAN OR GREATER-THAN |
≶ |
GREATER-THAN OR LESS-THAN |
≷ |
NEITHER LESS-THAN NOR GREATER-THAN |
≸ |
NEITHER GREATER-THAN NOR LESS-THAN |
≹ |
NOT TILDE |
≁ |
MINUS TILDE |
≂ |
ASYMPTOTICALLY EQUAL TO |
≃ |
NOT ASYMPTOTICALLY EQUAL TO |
≄ |
APPROXIMATELY BUT NOT ACTUALLY EQUAL TO |
≆ |
NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO |
≇ |
NOT ALMOST EQUAL TO |
≉ |
ALMOST EQUAL OR EQUAL TO |
≊ |
TRIPLE TILDE |
≋ |
ALL EQUAL TO |
≌ |
Character Name |
Character |
MINUS-OR-PLUS SIGN |
∓ |
DOT PLUS |
∔ |
ASTERISK OPERATOR |
∗ |
RING OPERATOR |
∘ |
BULLET OPERATOR |
∙ |
PROPORTIONAL TO |
∝ |
RATIO |
∶ |
PROPORTION |
∷ |
DOT MINUS |
∸ |
EXCESS |
∹ |
GEOMETRIC PROPORTION |
∺ |
HOMOTHETIC |
∻ |
TILDE OPERATOR |
∼ |
REVERSED TILDE |
∽ |
INVERTED LAZY S |
∾ |
SINE WAVE |
∿ |
WREATH PRODUCT |
≀ |
EQUIVALENT TO |
≍ |
GEOMETRICALLY EQUIVALENT TO |
≎ |
DIFFERENCE BETWEEN |
≏ |
APPROACHES THE LIMIT |
≐ |
GEOMETRICALLY EQUAL TO |
≑ |
APPROXIMATELY EQUAL TO OR THE IMAGE OF |
≒ |
IMAGE OF OR APPROXIMATELY EQUAL TO |
≓ |
COLON EQUALS |
≔ |
EQUALS COLON |
≕ |
RING IN EQUAL TO |
≖ |
RING EQUAL TO |
≗ |
CORRESPONDS TO |
≘ |
ESTIMATES |
≙ |
EQUIANGULAR TO |
≚ |
STAR EQUALS |
≛ |
DELTA EQUAL TO |
≜ |
EQUAL TO BY DEFINITION |
≝ |
MEASURED BY |
≞ |
QUESTIONED EQUAL TO |
≟ |
PRECEDES |
≺ |
SUCCEEDS |
≻ |
PRECEDES OR EQUAL TO |
≼ |
SUCCEEDS OR EQUAL TO |
≽ |
PRECEDES OR EQUIVALENT TO |
≾ |
SUCCEEDS OR EQUIVALENT TO |
≿ |
DOES NOT PRECEDE |
⊀ |
DOES NOT SUCCEED |
⊁ |
SQUARE IMAGE OF |
⊏ |
SQUARE ORIGINAL OF |
⊐ |
SQUARE IMAGE OF OR EQUAL TO |
⊑ |
SQUARE ORIGINAL OF OR EQUAL TO |
⊒ |
SQUARE CAP |
⊓ |
SQUARE CUP |
⊔ |
CIRCLED PLUS |
⊕ |
CIRCLED MINUS |
⊖ |
CIRCLED TIMES |
⊗ |
CIRCLED DIVISION SLASH |
⊘ |
CIRCLED DOT OPERATOR |
⊙ |
CIRCLED RING OPERATOR |
⊚ |
CIRCLED ASTERISK OPERATOR |
⊛ |
CIRCLED EQUALS |
⊜ |
CIRCLED DASH |
⊝ |
SQUARED PLUS |
⊞ |
SQUARED MINUS |
⊟ |
SQUARED TIMES |
⊠ |
SQUARED DOT OPERATOR |
⊪ |
ASSERTION |
⊦ |
MODELS |
⊧ |
TRUE |
⊨ |
FORCES |
⊩ |
TRIPLE VERTICAL BAR RIGHT TURNSTILE |
⊪ |
DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE |
⊫ |
DOES NOT PROVE |
⊬ |
NOT TRUE |
⊭ |
DOES NOT FORCE |
⊮ |
NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE |
⊯ |
PRECEDES UNDER RELATION |
⊰ |
SUCCEEDS UNDER RELATION |
⊱ |
NORMAL SUBGROUP OF |
⊲ |
CONTAINS AS NORMAL SUBGROUP |
⊳ |
NORMAL SUBGROUP OF OR EQUAL TO |
⊴ |
CONTAINS AS NORMAL SUBGROUP OR EQUAL TO |
⊵ |
ORIGINAL OF |
⊶ |
IMAGE OF |
⊷ |
MULTIMAP |
⊸ |
HERMITIAN CONJUGATE MATRIX |
⊹ |
INTERCALATE |
⊺ |
DIAMOND OPERATOR |
⋄ |
DOT OPERATOR |
⋅ |
STAR OPERATOR |
⋆ |
DIVISION TIMES |
⋇ |
BOWTIE |
⋈ |
LEFT NORMAL FACTOR SEMIDIRECT PRODUCT |
⋉ |
RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT |
⋊ |
LEFT SEMIDIRECT PRODUCT |
⋋ |
RIGHT SEMIDIRECT PRODUCT |
⋌ |
REVERSED TILDE EQUALS |
⋍ |
PITCHFORK |
⋔ |
EQUAL AND PARALLEL TO |
⋕ |
LESS-THAN WITH DOT |
⋖ |
GREATER-THAN WITH DOT |
⋗ |
VERY MUCH LESS-THAN |
⋘ |
VERY MUCH GREATER-THAN |
⋙ |
LESS-THAN EQUAL TO OR GREATER-THAN |
⋚ |
GREATER-THAN EQUAL TO OR LESS-THAN |
⋛ |
EQUAL TO OR LESS-THAN |
⋜ |
EQUAL TO OR GREATER-THAN |
⋝ |
EQUAL TO OR PRECEDES |
⋞ |
EQUAL TO OR SUCCEEDS |
⋟ |
DOES NOT PRECEDE OR EQUAL |
⋠ |
DOES NOT SUCCEED OR EQUAL |
⋡ |
NOT SQUARE IMAGE OF OR EQUAL TO |
⋢ |
NOT SQUARE ORIGINAL OF OR EQUAL TO |
⋣ |
SQUARE IMAGE OF OR NOT EQUAL TO |
⋤ |
SQUARE ORIGINAL OF OR NOT EQUAL TO |
⋥ |
LESS-THAN BUT NOT EQUIVALENT TO |
⋦ |
GREATER-THAN BUT NOT EQUIVALENT TO |
⋧ |
PRECEDES BUT NOT EQUIVALENT TO |
⋨ |
SUCCEEDS BUT NOT EQUIVALENT TO |
⋩ |
NOT NORMAL SUBGROUP OF |
⋪ |
DOES NOT CONTAIN AS NORMAL SUBGROUP |
⋫ |
NOT NORMAL SUBGROUP OF OR EQUAL TO |
⋬ |
DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL |
⋭ |
VERTICAL ELLIPSIS |
⋮ |
MIDLINE HORIZONTAL ELLIPSIS |
⋯ |
UP RIGHT DIAGONAL ELLIPSIS |
⋰ |
DOWN RIGHT DIAGONAL ELLIPSIS |
⋱ |