Unicode Math Flashcards
≜
DELTA EQUAL TO
= equiangular
= equal to by definition
≝
EQUAL TO BY DEFINITION
≞
MEASURED BY
≡
IDENTICAL TO
≣
STRICTLY EQUIVALENT TO
≬
BETWEEN
= plaintiff, quantic
≨
LESS-THAN BUT NOT EQUAL TO
≩
GREATER-THAN BUT NOT EQUAL TO
≪
MUCH LESS-THAN
≫
MUCH GREATER-THAN
≭
NOT EQUIVALENT TO
≲
LESS-THAN OR EQUIVALENT TO
Symbol
Name
2200
∀
FOR ALL
= universal quantifier
2201
∁
COMPLEMENT
→ ʗ latin letter stretched c
2202
∂
PARTIAL DIFFERENTIAL
2203
∃
THERE EXISTS
= existential quantifier
2204
∄
THERE DOES NOT EXIST
2205
∅
EMPTY SET
= null set
• used in linguistics to indicate a null morpheme or phonological “zero”
2212
−
MINUS SIGN
→ - hyphen-minus
2213
∓
MINUS-OR-PLUS SIGN
→ ± plus-minus sign
2214
∔
DOT PLUS
2215
∕
DIVISION SLASH • generic division operator → / solidus → ⁄ fraction slash → ⟋ mathematical rising diagonal
2216
∖
SET MINUS
→ \ reverse solidus
→ ⟍ mathematical falling diagonal
→ ⧵ reverse solidus operator
2217 ∗
ASTERISK OPERATOR
2206
∆
INCREMENT = Laplace operator = forward difference = symmetric difference (in set theory) • other symbols may also be used for symmetric difference
2218
∘
RING OPERATOR
= composite function
= APL jot
2207
∇
NABLA = backward difference = gradient, del • used for Laplacian operator (written with superscript 2) → ▽ white down-pointing triangle
2208
∈
ELEMENT OF
2219
∙
BULLET OPERATOR
→ · middle dot
→ • bullet
→ ․ one dot leader
221A
√
SQUARE ROOT
= radical sign
221B
∛
CUBE ROOT
2209
∉
NOT AN ELEMENT OF
220A
∊
SMALL ELEMENT OF
• originates in math pi fonts; not the straight epsilon
221D
∝
PROPORTIONAL TO
220B
∋
CONTAINS AS MEMBER
= such that
220C
∌
DOES NOT CONTAIN AS MEMBER
220D
∍
SMALL CONTAINS AS MEMBER
→ ϶ greek reversed lunate epsilon symbol
221E
∞
INFINITY
221F
∟
RIGHT ANGLE
= with (in chess notation)
220E
∎
END OF PROOF
= q.e.d.
2210
∐
N-ARY COPRODUCT
= coproduct sign
2221
∡
MEASURED ANGLE
2222
∢
SPHERICAL ANGLE
= angle arc
2223
∣
DIVIDES = such that = APL stile → | vertical line → ǀ latin letter dental click
2224
∤
DOES NOT DIVIDE
223B
∻
HOMOTHETIC
→ ⩫ tilde operator with rising dots
223C
∼
TILDE OPERATOR = varies with (proportional to) = difference between = similar to = not = cycle = APL tilde → ~ tilde → ¬ not sign → ˜ small tilde
223D
∽
REVERSED TILDE
= lazy S
• reversed tilde and lazy S are glyph variants
223E
∾
INVERTED LAZY S
= most positive
223F
∿
SINE WAVE
= alternating current
2240
≀
WREATH PRODUCT
2241
≁
NOT TILDE
2242
≂
MINUS TILDE
2243
≃
ASYMPTOTICALLY EQUAL TO
2244
≄
NOT ASYMPTOTICALLY EQUAL TO
2245
≅
APPROXIMATELY EQUAL TO
→ ⩰ approximately equal or equal to
2246
≆
APPROXIMATELY BUT NOT ACTUALLY EQUAL TO
2234
∴
THEREFORE
→ ⛬ historic site
2235
∵
BECAUSE
2236
∶
RATIO
• preferred to : for denotation of division or scale in mathematical use
2247
≇
NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO
2248
≈
ALMOST EQUAL TO
= asymptotic to
2249
≉
NOT ALMOST EQUAL TO
224A
≊
ALMOST EQUAL OR EQUAL TO
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
2237
∷
PROPORTION
2252
≒
APPROXIMATELY EQUAL TO OR THE IMAGE OF
= nearly equals
2253
≓
IMAGE OF OR APPROXIMATELY EQUAL TO
2238
∸
DOT MINUS
= saturating subtraction
• sometimes claimed as notation for symmetric set difference, but ∆ is preferred
2239
∹
EXCESS
223A
∺
GEOMETRIC PROPORTION
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
→ = equals sign
2261
≡
IDENTICAL TO
2262
≢
NOT IDENTICAL TO
2263
≣
STRICTLY EQUIVALENT TO
2264
≤
LESS-THAN OR EQUAL TO
2265
≥
GREATER-THAN OR EQUAL TO
2266
≦
LESS-THAN OVER EQUAL TO
2267
≧
GREATER-THAN OVER EQUAL TO
2268
≨
LESS-THAN BUT NOT EQUAL TO
⁓ ≨ with vertical stroke
2269
≩
GREATER-THAN BUT NOT EQUAL TO
⁓ ≩ with vertical stroke
226A
≪
MUCH LESS-THAN
→ « left-pointing double angle quotation mark
226B
≫
MUCH GREATER-THAN
→ » right-pointing double angle quotation mark
226C
≬
BETWEEN
= plaintiff, quantic
226D
≭
NOT EQUIVALENT TO
227C
≼
PRECEDES OR EQUAL TO
227D
≽
SUCCEEDS OR EQUAL TO
227E
≾
PRECEDES OR EQUIVALENT TO
227F
≿
SUCCEEDS OR EQUIVALENT TO
2280
⊀
DOES NOT PRECEDE
2281
⊁
DOES NOT SUCCEED
2282
⊂
SUBSET OF
= included in set
2283
⊃
SUPERSET OF
= includes in set
2284
⊄
NOT A SUBSET OF
2285
⊅
NOT A SUPERSET OF
2286
⊆
SUBSET OF OR EQUAL TO
2287
⊇
SUPERSET OF OR EQUAL TO
2288
⊈
NEITHER A SUBSET OF NOR EQUAL TO
2289
⊉
NEITHER A SUPERSET OF NOR EQUAL TO
228A
⊊
SUBSET OF WITH NOT EQUAL TO
⁓ ⊊ with stroke through bottom members
228B
⊋
SUPERSET OF WITH NOT EQUAL TO
⁓ ⊋ with stroke through bottom members
228C
⊌
MULTISET
228D
⊍
MULTISET MULTIPLICATION
→ ⨃ n-ary union operator with dot
→ ⩀ intersection with dot
228E
⊎
MULTISET UNION
= z notation bag addition
2270
≰
NEITHER LESS-THAN NOR EQUAL TO
→ ⨄ n-ary union operator with plus
228F
⊏
SQUARE IMAGE OF
2272
≲
LESS-THAN OR EQUIVALENT TO
⁓ ≲ following the slant of the lower leg
2273
≳
GREATER-THAN OR EQUIVALENT TO
⁓ ≳ following the slant of the lower leg
2274
≴
NEITHER LESS-THAN NOR EQUIVALENT TO
2275
≵
NEITHER GREATER-THAN NOR EQUIVALENT TO
2276
≶
LESS-THAN OR GREATER-THAN
2277
≷
GREATER-THAN OR LESS-THAN
2278
≸
NEITHER LESS-THAN NOR GREATER-THAN
2279
≹
NEITHER GREATER-THAN NOR LESS-THAN
2290
⊐
SQUARE ORIGINAL OF
2291
⊑
SQUARE IMAGE OF OR EQUAL TO
2292
⊒
SQUARE ORIGINAL OF OR EQUAL TO
2293
⊓
SQUARE CAP
→ ⨅ n-ary square intersection operator
2294
⊔
SQUARE CUP
→ ⨆ n-ary square union operator
2295
⊕
CIRCLED PLUS
= direct sum
= vector pointing into page
227A
≺
PRECEDES
= lower rank than
→ ⊰ precedes under relation
227B
≻
SUCCEEDS
= higher rank than
→ ⊱ succeeds under relation
2296
⊖
CIRCLED MINUS
= symmetric difference
2297
⊗
CIRCLED TIMES = tensor product = vector pointing into page → ⛒ circled crossing lanes → ⨂ n-ary circled times operator → ⮾ circled x ⁓ ⊗ with white rim
2298
⊘
CIRCLED DIVISION SLASH
2299
⊙
CIRCLED DOT OPERATOR
= direct product
= vector pointing out of page
229A
⊚
CIRCLED RING OPERATOR
→ ⌾ apl functional symbol circle jot
229B
⊛
CIRCLED ASTERISK OPERATOR
→ ⍟ apl functional symbol circle star
229C
⊜
CIRCLED EQUALS
= NoDerivatives (symbol used for Creative Commons licenses)
⁓ ⊜ with equal sign touching the circle
229D
⊝
CIRCLED DASH
229E
⊞
SQUARED PLUS
229F
⊟
SQUARED MINUS
22A0
⊠
SQUARED TIMES
→ ☒ ballot box with x
→ ⛝ squared saltire
→ 🝱 alchemical symbol for month
22A1
⊡
SQUARED DOT OPERATOR
22AD
⊭
NOT TRUE
22AE
⊮
DOES NOT FORCE
22AF
⊯
NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
22B0
⊰
PRECEDES UNDER RELATION
→ ≺ precedes
22B1
⊱
SUCCEEDS UNDER RELATION
→ ≻ succeeds
22B2
⊲
NORMAL SUBGROUP OF
→ ◅ white left-pointing pointer
22B3
⊳
CONTAINS AS NORMAL SUBGROUP
→ ▻ 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
22BA
⊺
INTERCALATE
22BB
⊻
XOR
→ ⚺ semisextile
22BC
⊼
NAND
→ ⌅ projective
22BD
⊽
NOR
22A2
⊢
RIGHT TACK
= turnstile
= proves, implies, yields
= reducible
22A3
⊣
LEFT TACK
= reverse turnstile
= non-theorem, does not yield
22BE
⊾
RIGHT ANGLE WITH ARC
22BF
⊿
RIGHT TRIANGLE
22C0
⋀
N-ARY LOGICAL AND
• also used to denote the universal quantifier
22C1
⋁
N-ARY LOGICAL OR
22A4
⊤
DOWN TACK
= top
→ ⸆ raised interpolation marker
→ 🝨 alchemical symbol for crucible-4
22A5
⊥
UP TACK
= base, bottom
→ ⟂ perpendicular
22A6
⊦
ASSERTION
= reduces to
22A7
⊧
MODELS
22A8
⊨
TRUE = statement is true, valid = is a tautology = satisfies = results in
22A9
⊩
FORCES
22AB
⊫
DOUBLE VERTICAL BAR DOUBLE RIGHT
• also used to denote the existential quantifier
22C2
⋂
N-ARY INTERSECTION
= z notation generalised intersection
22C3
⋃
N-ARY UNION
= z notation generalised union
22C4
⋄
DIAMOND OPERATOR
→ ◇ white diamond
→ ⬩ black small diamond
22C5
⋅
DOT OPERATOR
• preferred to · for denotation of multiplication
→ · middle dot
22C6
⋆
STAR OPERATOR
• APL
→ arabic five pointed star
→ ★ black star
22AC
⊬
DOES NOT PROVE
22C7
⋇
DIVISION TIMES
22C8
⋈
BOWTIE
→ ⑅ ocr bow tie
22C9
⋉
LEFT NORMAL FACTOR SEMIDIRECT PRODUCT
22CA
⋊
RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT
22CB
⋋
LEFT SEMIDIRECT PRODUCT
22CC
⋌
RIGHT SEMIDIRECT PRODUCT
→ ⁁ caret insertion point
22CD
⋍
REVERSED TILDE EQUALS
22CE
⋎
CURLY LOGICAL OR
22CF
⋏
CURLY LOGICAL AND
22D0
⋐
DOUBLE SUBSET
22ED
⋭
DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL
22EE
⋮
VERTICAL ELLIPSIS
→ ⁝ tricolon
22EF
⋯
MIDLINE HORIZONTAL ELLIPSIS
→ … horizontal ellipsis
→ presentation form for vertical horizontal ellipsis
22F0
⋰
UP RIGHT DIAGONAL ELLIPSIS
22F1
⋱
DOWN RIGHT DIAGONAL ELLIPSIS
22F2
⋲
ELEMENT OF WITH LONG HORIZONTAL STROKE
22F3
⋳
ELEMENT OF WITH VERTICAL BAR AT END OF
22D1
⋑
DOUBLE SUPERSET
22D2
⋒
DOUBLE INTERSECTION
22D3
⋓
DOUBLE UNION
22D4
⋔
PITCHFORK
= proper intersection
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
22D5
⋕
EQUAL AND PARALLEL TO
→ ⌗ viewdata square
22D6
⋖
LESS-THAN WITH DOT
22D8
⋘
VERY MUCH LESS-THAN
22D9
⋙
VERY MUCH GREATER-THAN
22DA
⋚
LESS-THAN EQUAL TO OR GREATER-THAN
⁓ ⋚ with slanted equal
22DB
⋛
GREATER-THAN EQUAL TO OR LESS-THAN
⁓ ⋛ with slanted equal
22DC
⋜
EQUAL TO OR LESS-THAN
22DD
⋝
EQUAL TO OR GREATER-THAN
22DE
⋞
EQUAL TO OR PRECEDES
22DF
⋟
EQUAL TO OR SUCCEEDS
22E0
⋠
DOES NOT PRECEDE OR EQUAL
22E1
⋡
DOES NOT SUCCEED OR EQUAL
22E2
⋢
NOT SQUARE IMAGE OF OR EQUAL TO
22E3
⋣
NOT SQUARE ORIGINAL OF OR EQUAL TO
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
22EB
⋫
DOES NOT CONTAIN AS NORMAL SUBGROUP
22EC
⋬
NOT NORMAL SUBGROUP OF OR EQUAL TO
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