See also the corresponding code chart.
2200 Mathematical Operators 22FF
Miscellaneous mathematical symbols | ||
| 2200 | ∀ | FOR ALL |
| = universal quantifier | ||
| 2201 | ∁ | COMPLEMENT |
| → 0297 ʗ latin letter stretched c | ||
| 2202 | ∂ | PARTIAL DIFFERENTIAL |
| 2203 | ∃ | THERE EXISTS |
| = existential quantifier | ||
| 2204 | ∄ | THERE DOES NOT EXIST |
| ≡ 2203 ∃ 0338 ◌̸ | ||
| 2205 | ∅ | EMPTY SET |
| = null set | ||
| • used in linguistics to indicate a null morpheme or phonological "zero" | ||
| → 00D8 Ø latin capital letter o with stroke | ||
| → 2300 ⌀ diameter sign | ||
| ⁓ 2205 FE00 ∅ zero with long diagonal stroke overlay form | ||
| 2206 | ∆ | INCREMENT |
| = Laplace operator | ||
| = forward difference | ||
| = symmetric difference (in set theory) | ||
| • other symbols may also be used for symmetric difference | ||
| → 0394 Δ greek capital letter delta | ||
| → 25B3 △ white up-pointing triangle | ||
| 2207 | ∇ | NABLA |
| = backward difference | ||
| = gradient, del | ||
| • used for Laplacian operator (written with superscript 2) | ||
| → 25BD ▽ white down-pointing triangle | ||
Set membership | ||
| 2208 | ∈ | ELEMENT OF |
| 2209 | ∉ | NOT AN ELEMENT OF |
| ≡ 2208 ∈ 0338 ◌̸ | ||
| 220A | ∊ | SMALL ELEMENT OF |
| • originates in math pi fonts; not the straight epsilon | ||
| → 03F5 ϵ greek lunate epsilon symbol | ||
| 220B | ∋ | CONTAINS AS MEMBER |
| = such that | ||
| 220C | ∌ | DOES NOT CONTAIN AS MEMBER |
| ≡ 220B ∋ 0338 ◌̸ | ||
| 220D | ∍ | SMALL CONTAINS AS MEMBER |
| → 03F6 ϶ greek reversed lunate epsilon symbol | ||
Miscellaneous mathematical symbol | ||
| 220E | ∎ | END OF PROOF |
| = q.e.d. | ||
| → 2023 ‣ triangular bullet | ||
| → 25AE ▮ black vertical rectangle | ||
N-ary operators | ||
| 220F | ∏ | N-ARY PRODUCT |
| = product sign | ||
| → 03A0 Π greek capital letter pi | ||
| 2210 | ∐ | N-ARY COPRODUCT |
| = coproduct sign | ||
| 2211 | ∑ | N-ARY SUMMATION |
| = summation sign | ||
| → 03A3 Σ greek capital letter sigma | ||
| → 2140 ⅀ double-struck n-ary summation | ||
Operators | ||
| 2212 | − | MINUS SIGN |
| → 002D - hyphen-minus | ||
| → 2796 ➖ heavy minus sign | ||
| 2213 | ∓ | MINUS-OR-PLUS SIGN |
| → 00B1 ± plus-minus sign | ||
| 2214 | ∔ | DOT PLUS |
| 2215 | ∕ | DIVISION SLASH |
| • generic division operator | ||
| → 002F / solidus | ||
| → 2044 ⁄ fraction slash | ||
| → 27CB ⟋ mathematical rising diagonal | ||
| 2216 | ∖ | SET MINUS |
| → 005C \ reverse solidus | ||
| → 27CD ⟍ mathematical falling diagonal | ||
| → 29F5 ⧵ reverse solidus operator | ||
| 2217 | ∗ | ASTERISK OPERATOR |
| • may be used to represent the telephony asterisk seen on keypads | ||
| → 002A * asterisk | ||
| 2218 | ∘ | RING OPERATOR |
| = composite function | ||
| = APL jot | ||
| → 00B0 ° degree sign | ||
| → 0970 ॰ devanagari abbreviation sign | ||
| → 25E6 ◦ white bullet | ||
| → 10B39 𐬹 avestan abbreviation mark | ||
| 2219 | ∙ | BULLET OPERATOR |
| → 00B7 · middle dot | ||
| → 2022 • bullet | ||
| → 2024 ․ one dot leader | ||
| 221A | √ | SQUARE ROOT |
| = radical sign | ||
| → 2713 ✓ check mark | ||
| 221B | ∛ | CUBE ROOT |
| → 0606 ؆ arabic-indic cube root | ||
| 221C | ∜ | FOURTH ROOT |
| → 0607 ؇ arabic-indic fourth root | ||
| 221D | ∝ | PROPORTIONAL TO |
| → 03B1 α greek small letter alpha | ||
Miscellaneous mathematical symbol | ||
| 221E | ∞ | INFINITY |
Angles | ||
| Other angle symbols are found at 299B-29AF. | ||
| 221F | ∟ | RIGHT ANGLE |
| = with (in chess notation) | ||
| → 2BFE ⯾ reversed right angle | ||
| 2220 | ∠ | ANGLE |
| • used in astrological contexts for aspect semisquare | ||
| → 299F ⦟ acute angle | ||
| 2221 | ∡ | MEASURED ANGLE |
| → 1CEF9 measured angle with double arc | ||
| 2222 | ∢ | SPHERICAL ANGLE |
| = angle arc | ||
Relations | ||
| 2223 | ∣ | DIVIDES |
| = such that | ||
| = APL stile | ||
| → 007C | vertical line | ||
| → 01C0 ǀ latin letter dental click | ||
| 2224 | ∤ | DOES NOT DIVIDE |
| ≡ 2223 ∣ 0338 ◌̸ | ||
| 2225 | ∥ | PARALLEL TO |
| → 01C1 ǁ latin letter lateral click | ||
| → 2016 ‖ double vertical line | ||
| 2226 | ∦ | NOT PARALLEL TO |
| ≡ 2225 ∥ 0338 ◌̸ | ||
Logical and set operators | ||
| 2227 | ∧ | LOGICAL AND |
| = wedge, conjunction | ||
| → 22C0 ⋀ n-ary logical and | ||
| → 2303 ⌃ up arrowhead | ||
| → 27D1 ⟑ and with dot | ||
| 2228 | ∨ | LOGICAL OR |
| = vee, disjunction | ||
| → 22C1 ⋁ n-ary logical or | ||
| → 2304 ⌄ down arrowhead | ||
| → 27C7 ⟇ or with dot inside | ||
| 2229 | ∩ | INTERSECTION |
| = cap, hat | ||
| → 22C2 ⋂ n-ary intersection | ||
| ⁓ 2229 FE00 ∩ with serifs | ||
| 222A | ∪ | UNION |
| = cup | ||
| → 22C3 ⋃ n-ary union | ||
| ⁓ 222A FE00 ∪ with serifs | ||
Integrals | ||
| 222B | ∫ | INTEGRAL |
| → 0283 ʃ latin small letter esh | ||
| 222C | ∬ | DOUBLE INTEGRAL |
| ≈ 222B ∫ 222B ∫ | ||
| 222D | ∭ | TRIPLE INTEGRAL |
| → 2A0C ⨌ quadruple integral operator | ||
| ≈ 222B ∫ 222B ∫ 222B ∫ | ||
| 222E | ∮ | CONTOUR INTEGRAL |
| → 2A15 ⨕ integral around a point operator | ||
| 222F | ∯ | SURFACE INTEGRAL |
| ≈ 222E ∮ 222E ∮ | ||
| 2230 | ∰ | VOLUME INTEGRAL |
| ≈ 222E ∮ 222E ∮ 222E ∮ | ||
| 2231 | ∱ | CLOCKWISE INTEGRAL |
| 2232 | ∲ | CLOCKWISE CONTOUR INTEGRAL |
| 2233 | ∳ | ANTICLOCKWISE CONTOUR INTEGRAL |
| • clockwise or anticlockwise arrows do not reverse during layout mirroring | ||
Miscellaneous mathematical symbols | ||
| 2234 | ∴ | THEREFORE |
| → 26EC ⛬ historic site | ||
| 2235 | ∵ | BECAUSE |
Relations | ||
| 2236 | ∶ | RATIO |
| • preferred to 003A : for denotation of division or scale in mathematical use | ||
| → 003A : colon | ||
| 2237 | ∷ | PROPORTION |
Operator | ||
| 2238 | ∸ | DOT MINUS |
| = saturating subtraction | ||
| • sometimes claimed as notation for symmetric set difference, but 2206 ∆ is preferred | ||
Relation | ||
| 2239 | ∹ | EXCESS |
Operator | ||
| 223A | ∺ | GEOMETRIC PROPORTION |
Relations | ||
| 223B | ∻ | HOMOTHETIC |
| → 2A6B ⩫ tilde operator with rising dots | ||
| 223C | ∼ | TILDE OPERATOR |
| = varies with (proportional to) | ||
| = difference between | ||
| = similar to | ||
| = not | ||
| = cycle | ||
| = APL tilde | ||
| → 007E ~ tilde | ||
| → 00AC ¬ not sign | ||
| → 02DC ˜ small tilde | ||
| 223D | ∽ | REVERSED TILDE |
| = lazy S | ||
| • reversed tilde and lazy S are glyph variants | ||
| ⁓ 223D FE00 ∽ using lazy S | ||
| 223E | ∾ | INVERTED LAZY S |
| = most positive | ||
Miscellaneous mathematical symbol | ||
| 223F | ∿ | SINE WAVE |
| = alternating current | ||
| → 23E6 ⏦ ac current | ||
Operator | ||
| 2240 | ≀ | WREATH PRODUCT |
| → 2E2F ⸯ vertical tilde | ||
Relations | ||
| 2241 | ≁ | NOT TILDE |
| ≡ 223C ∼ 0338 ◌̸ | ||
| 2242 | ≂ | MINUS TILDE |
| ⁓ 2242 FE00 ≂ using lazy S | ||
| 2243 | ≃ | ASYMPTOTICALLY EQUAL TO |
| ⁓ 2243 FE00 ≃ using lazy S | ||
| 2244 | ≄ | NOT ASYMPTOTICALLY EQUAL TO |
| ≡ 2243 ≃ 0338 ◌̸ | ||
| 2245 | ≅ | APPROXIMATELY EQUAL TO |
| → 2A70 ⩰ approximately equal or equal to | ||
| 2246 | ≆ | APPROXIMATELY BUT NOT ACTUALLY EQUAL TO |
| 2247 | ≇ | NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO |
| ≡ 2245 ≅ 0338 ◌̸ | ||
| 2248 | ≈ | ALMOST EQUAL TO |
| = asymptotic to | ||
| ⁓ 2248 FE00 ≈ using lazy S | ||
| 2249 | ≉ | NOT ALMOST EQUAL TO |
| ≡ 2248 ≈ 0338 ◌̸ | ||
| 224A | ≊ | ALMOST EQUAL OR EQUAL TO |
| 224B | ≋ | TRIPLE TILDE |
| 224C | ≌ | ALL EQUAL TO |
| • reversed tilde and lazy S are glyph variants | ||
| 224D | ≍ | EQUIVALENT TO |
| 224E | ≎ | GEOMETRICALLY EQUIVALENT TO |
| 224F | ≏ | DIFFERENCE BETWEEN |
| 2250 | ≐ | APPROACHES THE LIMIT |
| 2251 | ≑ | GEOMETRICALLY EQUAL TO |
| 2252 | ≒ | APPROXIMATELY EQUAL TO OR THE IMAGE OF |
| = nearly equals | ||
| 2253 | ≓ | IMAGE OF OR APPROXIMATELY EQUAL TO |
| 2254 | ≔ | COLON EQUALS |
| 2255 | ≕ | EQUALS COLON |
| 2256 | ≖ | RING IN EQUAL TO |
| 2257 | ≗ | RING EQUAL TO |
| = approximately equal to | ||
| 2258 | ≘ | CORRESPONDS TO |
| 2259 | ≙ | ESTIMATES |
| = corresponds to | ||
| 225A | ≚ | EQUIANGULAR TO |
| 225B | ≛ | STAR EQUALS |
| 225C | ≜ | DELTA EQUAL TO |
| = equiangular | ||
| = equal to by definition | ||
| 225D | ≝ | EQUAL TO BY DEFINITION |
| 225E | ≞ | MEASURED BY |
| 225F | ≟ | QUESTIONED EQUAL TO |
| 2260 | ≠ | NOT EQUAL TO |
| → 003D = equals sign | ||
| → 01C2 ǂ latin letter alveolar click | ||
| ≡ 003D = 0338 ◌̸ | ||
| 2261 | ≡ | IDENTICAL TO |
| 2262 | ≢ | NOT IDENTICAL TO |
| ≡ 2261 ≡ 0338 ◌̸ | ||
| 2263 | ≣ | STRICTLY EQUIVALENT TO |
| 2264 | ≤ | LESS-THAN OR EQUAL TO |
| → 003C < less-than sign | ||
| → 29A4 ⦤ angle with underbar | ||
| 2265 | ≥ | GREATER-THAN OR EQUAL TO |
| → 003E > greater-than sign | ||
| → 29A5 ⦥ reversed angle with underbar | ||
| 2266 | ≦ | LESS-THAN OVER EQUAL TO |
| 2267 | ≧ | GREATER-THAN OVER EQUAL TO |
| 2268 | ≨ | LESS-THAN BUT NOT EQUAL TO |
| → 2A87 ⪇ less-than and single-line not equal to | ||
| ⁓ 2268 FE00 ≨ with vertical stroke | ||
| 2269 | ≩ | GREATER-THAN BUT NOT EQUAL TO |
| → 2A88 ⪈ greater-than and single-line not equal to | ||
| ⁓ 2269 FE00 ≩ with vertical stroke | ||
| 226A | ≪ | MUCH LESS-THAN |
| → 00AB « left-pointing double angle quotation mark | ||
| 226B | ≫ | MUCH GREATER-THAN |
| → 00BB » right-pointing double angle quotation mark | ||
| 226C | ≬ | BETWEEN |
| = plaintiff, quantic | ||
| 226D | ≭ | NOT EQUIVALENT TO |
| ≡ 224D ≍ 0338 ◌̸ | ||
| 226E | ≮ | NOT LESS-THAN |
| ≡ 003C < 0338 ◌̸ | ||
| 226F | ≯ | NOT GREATER-THAN |
| ≡ 003E > 0338 ◌̸ | ||
| 2270 | ≰ | NEITHER LESS-THAN NOR EQUAL TO |
| ≡ 2264 ≤ 0338 ◌̸ | ||
| 2271 | ≱ | NEITHER GREATER-THAN NOR EQUAL TO |
| ≡ 2265 ≥ 0338 ◌̸ | ||
| 2272 | ≲ | LESS-THAN OR EQUIVALENT TO |
| ⁓ 2272 FE00 ≲ following the slant of the lower leg | ||
| 2273 | ≳ | GREATER-THAN OR EQUIVALENT TO |
| ⁓ 2273 FE00 ≳ following the slant of the lower leg | ||
| 2274 | ≴ | NEITHER LESS-THAN NOR EQUIVALENT TO |
| ≡ 2272 ≲ 0338 ◌̸ | ||
| 2275 | ≵ | NEITHER GREATER-THAN NOR EQUIVALENT TO |
| ≡ 2273 ≳ 0338 ◌̸ | ||
| 2276 | ≶ | LESS-THAN OR GREATER-THAN |
| 2277 | ≷ | GREATER-THAN OR LESS-THAN |
| 2278 | ≸ | NEITHER LESS-THAN NOR GREATER-THAN |
| ≡ 2276 ≶ 0338 ◌̸ | ||
| 2279 | ≹ | NEITHER GREATER-THAN NOR LESS-THAN |
| ≡ 2277 ≷ 0338 ◌̸ | ||
| 227A | ≺ | PRECEDES |
| = lower rank than | ||
| → 22B0 ⊰ precedes under relation | ||
| 227B | ≻ | SUCCEEDS |
| = higher rank than | ||
| → 22B1 ⊱ succeeds under relation | ||
| 227C | ≼ | PRECEDES OR EQUAL TO |
| → 2AAF ⪯ precedes above single-line equals sign | ||
| → 2AB3 ⪳ precedes above equals sign | ||
| 227D | ≽ | SUCCEEDS OR EQUAL TO |
| → 2AB0 ⪰ succeeds above single-line equals sign | ||
| → 2AB4 ⪴ succeeds above equals sign | ||
| 227E | ≾ | PRECEDES OR EQUIVALENT TO |
| → 2AB7 ⪷ precedes above almost equal to | ||
| 227F | ≿ | SUCCEEDS OR EQUIVALENT TO |
| → 2AB8 ⪸ succeeds above almost equal to | ||
| 2280 | ⊀ | DOES NOT PRECEDE |
| ≡ 227A ≺ 0338 ◌̸ | ||
| 2281 | ⊁ | DOES NOT SUCCEED |
| ≡ 227B ≻ 0338 ◌̸ | ||
| 2282 | ⊂ | SUBSET OF |
| = included in set | ||
| → 2E26 ⸦ left sideways u bracket | ||
| 2283 | ⊃ | SUPERSET OF |
| = includes in set | ||
| → 2E27 ⸧ right sideways u bracket | ||
| 2284 | ⊄ | NOT A SUBSET OF |
| ≡ 2282 ⊂ 0338 ◌̸ | ||
| 2285 | ⊅ | NOT A SUPERSET OF |
| ≡ 2283 ⊃ 0338 ◌̸ | ||
| 2286 | ⊆ | SUBSET OF OR EQUAL TO |
| 2287 | ⊇ | SUPERSET OF OR EQUAL TO |
| 2288 | ⊈ | NEITHER A SUBSET OF NOR EQUAL TO |
| ≡ 2286 ⊆ 0338 ◌̸ | ||
| 2289 | ⊉ | NEITHER A SUPERSET OF NOR EQUAL TO |
| ≡ 2287 ⊇ 0338 ◌̸ | ||
| 228A | ⊊ | SUBSET OF WITH NOT EQUAL TO |
| ⁓ 228A FE00 ⊊ with stroke through bottom members | ||
| 228B | ⊋ | SUPERSET OF WITH NOT EQUAL TO |
| ⁓ 228B FE00 ⊋ with stroke through bottom members | ||
Operators | ||
| 228C | ⊌ | MULTISET |
| 228D | ⊍ | MULTISET MULTIPLICATION |
| → 2A03 ⨃ n-ary union operator with dot | ||
| → 2A40 ⩀ intersection with dot | ||
| 228E | ⊎ | MULTISET UNION |
| = z notation bag addition | ||
| → 2A04 ⨄ n-ary union operator with plus | ||
Relations | ||
| 228F | ⊏ | SQUARE IMAGE OF |
| 2290 | ⊐ | SQUARE ORIGINAL OF |
| 2291 | ⊑ | SQUARE IMAGE OF OR EQUAL TO |
| 2292 | ⊒ | SQUARE ORIGINAL OF OR EQUAL TO |
Operators | ||
| 2293 | ⊓ | SQUARE CAP |
| → 2A05 ⨅ n-ary square intersection operator | ||
| ⁓ 2293 FE00 ⊓ with serifs | ||
| 2294 | ⊔ | SQUARE CUP |
| → 2A06 ⨆ n-ary square union operator | ||
| ⁓ 2294 FE00 ⊔ with serifs | ||
| 2295 | ⊕ | CIRCLED PLUS |
| = direct sum | ||
| = vector pointing into page | ||
| → 2A01 ⨁ n-ary circled plus operator | ||
| → 1F728 🜨 alchemical symbol for verdigris | ||
| ⁓ 2295 FE00 ⊕ with white rim | ||
| 2296 | ⊖ | CIRCLED MINUS |
| = symmetric difference | ||
| → 29B5 ⦵ circle with horizontal bar | ||
| → 1F714 🜔 alchemical symbol for salt | ||
| 2297 | ⊗ | CIRCLED TIMES |
| = tensor product | ||
| = vector pointing into page | ||
| → 26D2 ⛒ circled crossing lanes | ||
| → 2A02 ⨂ n-ary circled times operator | ||
| → 2BBE ⮾ circled x | ||
| → 1F774 🝴 lot of fortune | ||
| ⁓ 2297 FE00 ⊗ with white rim | ||
| 2298 | ⊘ | CIRCLED DIVISION SLASH |
| 2299 | ⊙ | CIRCLED DOT OPERATOR |
| = direct product | ||
| = vector pointing out of page | ||
| → 0298 ʘ latin letter bilabial click | ||
| → 2609 ☉ sun | ||
| → 2A00 ⨀ n-ary circled dot operator | ||
| 229A | ⊚ | CIRCLED RING OPERATOR |
| → 233E ⌾ apl functional symbol circle jot | ||
| → 25CE ◎ bullseye | ||
| 229B | ⊛ | CIRCLED ASTERISK OPERATOR |
| → 235F ⍟ apl functional symbol circle star | ||
| 229C | ⊜ | CIRCLED EQUALS |
| = NoDerivatives (symbol used for Creative Commons licenses) | ||
| → 1F16D 🅭 circled cc | ||
| ⁓ 229C FE00 ⊜ with equal sign touching the circle | ||
| 229D | ⊝ | CIRCLED DASH |
| 229E | ⊞ | SQUARED PLUS |
| 229F | ⊟ | SQUARED MINUS |
| 22A0 | ⊠ | SQUARED TIMES |
| → 2612 ☒ ballot box with x | ||
| → 26DD ⛝ squared saltire | ||
| → 1F771 🝱 alchemical symbol for month | ||
| 22A1 | ⊡ | SQUARED DOT OPERATOR |
| → 1F755 🝕 alchemical symbol for urine | ||
| → 1FBBC 🮼 right open squared dot | ||
| 22A2 | ⊢ | RIGHT TACK |
| = turnstile | ||
| = proves, implies, yields | ||
| = reducible | ||
| 22A3 | ⊣ | LEFT TACK |
| = reverse turnstile | ||
| = non-theorem, does not yield | ||
Miscellaneous mathematical symbols | ||
| 22A4 | ⊤ | DOWN TACK |
| = top | ||
| → 2E06 ⸆ raised interpolation marker | ||
| → 1F768 🝨 alchemical symbol for crucible-4 | ||
| 22A5 | ⊥ | UP TACK |
| = base, bottom | ||
| → 27C2 ⟂ perpendicular | ||
Relations | ||
| 22A6 | ⊦ | ASSERTION |
| = reduces to | ||
| 22A7 | ⊧ | MODELS |
| 22A8 | ⊨ | TRUE |
| = statement is true, valid | ||
| = is a tautology | ||
| = satisfies | ||
| = results in | ||
| 22A9 | ⊩ | FORCES |
| 22AA | ⊪ | TRIPLE VERTICAL BAR RIGHT TURNSTILE |
| 22AB | ⊫ | DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE |
| 22AC | ⊬ | DOES NOT PROVE |
| ≡ 22A2 ⊢ 0338 ◌̸ | ||
| 22AD | ⊭ | NOT TRUE |
| ≡ 22A8 ⊨ 0338 ◌̸ | ||
| 22AE | ⊮ | DOES NOT FORCE |
| ≡ 22A9 ⊩ 0338 ◌̸ | ||
| 22AF | ⊯ | NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE |
| ≡ 22AB ⊫ 0338 ◌̸ | ||
| 22B0 | ⊰ | PRECEDES UNDER RELATION |
| → 227A ≺ precedes | ||
| 22B1 | ⊱ | SUCCEEDS UNDER RELATION |
| → 227B ≻ succeeds | ||
| 22B2 | ⊲ | NORMAL SUBGROUP OF |
| → 25C5 ◅ white left-pointing pointer | ||
| 22B3 | ⊳ | CONTAINS AS NORMAL SUBGROUP |
| → 25BB ▻ white right-pointing pointer | ||
| 22B4 | ⊴ | NORMAL SUBGROUP OF OR EQUAL TO |
| 22B5 | ⊵ | CONTAINS AS NORMAL SUBGROUP OR EQUAL TO |
| 22B6 | ⊶ | ORIGINAL OF |
| 22B7 | ⊷ | IMAGE OF |
| 22B8 | ⊸ | MULTIMAP |
| 22B9 | ⊹ | HERMITIAN CONJUGATE MATRIX |
Operators | ||
| 22BA | ⊺ | INTERCALATE |
| 22BB | ⊻ | XOR |
| → 26BA ⚺ semisextile | ||
| 22BC | ⊼ | NAND |
| → 2305 ⌅ projective | ||
| → 26BB ⚻ quincunx | ||
| 22BD | ⊽ | NOR |
Miscellaneous mathematical symbols | ||
| 22BE | ⊾ | RIGHT ANGLE WITH ARC |
| 22BF | ⊿ | RIGHT TRIANGLE |
N-ary operators | ||
| 22C0 | ⋀ | N-ARY LOGICAL AND |
| • also used to denote the universal quantifier | ||
| → 2227 ∧ logical and | ||
| 22C1 | ⋁ | N-ARY LOGICAL OR |
| • also used to denote the existential quantifier | ||
| → 2228 ∨ logical or | ||
| 22C2 | ⋂ | N-ARY INTERSECTION |
| = z notation generalised intersection | ||
| → 2229 ∩ intersection | ||
| 22C3 | ⋃ | N-ARY UNION |
| = z notation generalised union | ||
| → 222A ∪ union | ||
Operators | ||
| 22C4 | ⋄ | DIAMOND OPERATOR |
| → 25C7 ◇ white diamond | ||
| → 2B29 ⬩ black small diamond | ||
| 22C5 | ⋅ | DOT OPERATOR |
| • preferred to 00B7 · for denotation of multiplication | ||
| → 00B7 · middle dot | ||
| 22C6 | ⋆ | STAR OPERATOR |
| • APL | ||
| → 066D ٭ arabic five pointed star | ||
| → 2605 ★ black star | ||
| → 2B50 ⭐ white medium star | ||
| 22C7 | ⋇ | DIVISION TIMES |
| • ambiguous sign conflating two operators | ||
| → 00B1 ± plus-minus sign | ||
| → 00D7 × multiplication sign | ||
| → 00F7 ÷ division sign | ||
| → 2715 ✕ multiplication x | ||
Relation | ||
| 22C8 | ⋈ | BOWTIE |
| → 2445 ⑅ ocr bow tie | ||
Operators | ||
| 22C9 | ⋉ | LEFT NORMAL FACTOR SEMIDIRECT PRODUCT |
| 22CA | ⋊ | RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT |
| 22CB | ⋋ | LEFT SEMIDIRECT PRODUCT |
| 22CC | ⋌ | RIGHT SEMIDIRECT PRODUCT |
| → 2041 ⁁ caret insertion point | ||
Relation | ||
| 22CD | ⋍ | REVERSED TILDE EQUALS |
| ⁓ 22CD FE00 ⋍ using lazy S | ||
Logical operators | ||
| 22CE | ⋎ | CURLY LOGICAL OR |
| 22CF | ⋏ | CURLY LOGICAL AND |
Relations | ||
| 22D0 | ⋐ | DOUBLE SUBSET |
| 22D1 | ⋑ | DOUBLE SUPERSET |
Operators | ||
| 22D2 | ⋒ | DOUBLE INTERSECTION |
| 22D3 | ⋓ | DOUBLE UNION |
Relations | ||
| 22D4 | ⋔ | PITCHFORK |
| = proper intersection | ||
| 22D5 | ⋕ | EQUAL AND PARALLEL TO |
| → 2317 ⌗ viewdata square | ||
| 22D6 | ⋖ | LESS-THAN WITH DOT |
| 22D7 | ⋗ | GREATER-THAN WITH DOT |
| 22D8 | ⋘ | VERY MUCH LESS-THAN |
| 22D9 | ⋙ | VERY MUCH GREATER-THAN |
| 22DA | ⋚ | LESS-THAN EQUAL TO OR GREATER-THAN |
| ⁓ 22DA FE00 ⋚ with slanted equal | ||
| 22DB | ⋛ | GREATER-THAN EQUAL TO OR LESS-THAN |
| ⁓ 22DB FE00 ⋛ with slanted equal | ||
| 22DC | ⋜ | EQUAL TO OR LESS-THAN |
| → 2A95 ⪕ slanted equal to or less-than | ||
| ⁓ 22DC FE00 ⋜ with horizontal equal | ||
| 22DD | ⋝ | EQUAL TO OR GREATER-THAN |
| → 2A96 ⪖ slanted equal to or greater-than | ||
| ⁓ 22DD FE00 ⋝ with horizontal equal | ||
| 22DE | ⋞ | EQUAL TO OR PRECEDES |
| 22DF | ⋟ | EQUAL TO OR SUCCEEDS |
| 22E0 | ⋠ | DOES NOT PRECEDE OR EQUAL |
| ≡ 227C ≼ 0338 ◌̸ | ||
| 22E1 | ⋡ | DOES NOT SUCCEED OR EQUAL |
| ≡ 227D ≽ 0338 ◌̸ | ||
| 22E2 | ⋢ | NOT SQUARE IMAGE OF OR EQUAL TO |
| ≡ 2291 ⊑ 0338 ◌̸ | ||
| 22E3 | ⋣ | NOT SQUARE ORIGINAL OF OR EQUAL TO |
| ≡ 2292 ⊒ 0338 ◌̸ | ||
| 22E4 | ⋤ | SQUARE IMAGE OF OR NOT EQUAL TO |
| 22E5 | ⋥ | SQUARE ORIGINAL OF OR NOT EQUAL TO |
| 22E6 | ⋦ | LESS-THAN BUT NOT EQUIVALENT TO |
| 22E7 | ⋧ | GREATER-THAN BUT NOT EQUIVALENT TO |
| 22E8 | ⋨ | PRECEDES BUT NOT EQUIVALENT TO |
| 22E9 | ⋩ | SUCCEEDS BUT NOT EQUIVALENT TO |
| 22EA | ⋪ | NOT NORMAL SUBGROUP OF |
| ≡ 22B2 ⊲ 0338 ◌̸ | ||
| 22EB | ⋫ | DOES NOT CONTAIN AS NORMAL SUBGROUP |
| ≡ 22B3 ⊳ 0338 ◌̸ | ||
| 22EC | ⋬ | NOT NORMAL SUBGROUP OF OR EQUAL TO |
| ≡ 22B4 ⊴ 0338 ◌̸ | ||
| 22ED | ⋭ | DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL |
| ≡ 22B5 ⊵ 0338 ◌̸ | ||
Matrix ellipses | ||
| These four ellipsis characters are used for matrix row/column elision. | ||
| 22EE | ⋮ | VERTICAL ELLIPSIS |
| → 205D ⁝ tricolon | ||
| → 2026 … horizontal ellipsis | ||
| → FE19 ︙ presentation form for vertical horizontal ellipsis | ||
| 22EF | ⋯ | MIDLINE HORIZONTAL ELLIPSIS |
| 22F0 | ⋰ | UP RIGHT DIAGONAL ELLIPSIS |
| 22F1 | ⋱ | DOWN RIGHT DIAGONAL ELLIPSIS |
Relations | ||
| 22F2 | ⋲ | ELEMENT OF WITH LONG HORIZONTAL STROKE |
| 22F3 | ⋳ | ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE |
| 22F4 | ⋴ | SMALL ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE |
| 22F5 | ⋵ | ELEMENT OF WITH DOT ABOVE |
| 22F6 | ⋶ | ELEMENT OF WITH OVERBAR |
| 22F7 | ⋷ | SMALL ELEMENT OF WITH OVERBAR |
| 22F8 | ⋸ | ELEMENT OF WITH UNDERBAR |
| 22F9 | ⋹ | ELEMENT OF WITH TWO HORIZONTAL STROKES |
| 22FA | ⋺ | CONTAINS WITH LONG HORIZONTAL STROKE |
| 22FB | ⋻ | CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE |
| 22FC | ⋼ | SMALL CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE |
| 22FD | ⋽ | CONTAINS WITH OVERBAR |
| 22FE | ⋾ | SMALL CONTAINS WITH OVERBAR |
| 22FF | ⋿ | Z NOTATION BAG MEMBERSHIP |