Unicode Math Flashcards
1
Q
≜
A
DELTA EQUAL TO
= equiangular
= equal to by definition
2
Q
≝
A
EQUAL TO BY DEFINITION
3
Q
≞
A
MEASURED BY
4
Q
≡
A
IDENTICAL TO
5
Q
≣
A
STRICTLY EQUIVALENT TO
6
Q
≬
A
BETWEEN
= plaintiff, quantic
7
Q
≨
A
LESS-THAN BUT NOT EQUAL TO
8
Q
≩
A
GREATER-THAN BUT NOT EQUAL TO
9
Q
≪
A
MUCH LESS-THAN
10
Q
≫
A
MUCH GREATER-THAN
11
Q
≭
A
NOT EQUIVALENT TO
12
Q
≲
A
LESS-THAN OR EQUIVALENT TO
13
Q
Symbol
A
Name
14
Q
2200
∀
A
FOR ALL
= universal quantifier
15
Q
2201
∁
A
COMPLEMENT
→ ʗ latin letter stretched c
16
Q
2202
∂
A
PARTIAL DIFFERENTIAL
17
Q
2203
∃
A
THERE EXISTS
= existential quantifier
18
Q
2204
∄
A
THERE DOES NOT EXIST
19
Q
2205
∅
A
EMPTY SET
= null set
• used in linguistics to indicate a null morpheme or phonological “zero”
20
Q
2212
−
A
MINUS SIGN
→ - hyphen-minus
21
Q
2213
∓
A
MINUS-OR-PLUS SIGN
→ ± plus-minus sign
22
Q
2214
∔
A
DOT PLUS
23
Q
2215
∕
A
DIVISION SLASH • generic division operator → / solidus → ⁄ fraction slash → ⟋ mathematical rising diagonal
24
Q
2216
∖
A
SET MINUS
→ \ reverse solidus
→ ⟍ mathematical falling diagonal
→ ⧵ reverse solidus operator
25
2217 ∗
ASTERISK OPERATOR
26
2206
| ∆
```
INCREMENT
= Laplace operator
= forward difference
= symmetric difference (in set theory)
• other symbols may also be used for symmetric difference
```
27
2218
| ∘
RING OPERATOR
= composite function
= APL jot
28
2207
| ∇
```
NABLA
= backward difference
= gradient, del
• used for Laplacian operator (written with superscript 2)
→ ▽ white down-pointing triangle
```
29
2208
| ∈
ELEMENT OF
30
2219
| ∙
BULLET OPERATOR
→ · middle dot
→ • bullet
→ ․ one dot leader
31
221A
| √
SQUARE ROOT
| = radical sign
32
221B
| ∛
CUBE ROOT
33
2209
| ∉
NOT AN ELEMENT OF
34
220A
| ∊
SMALL ELEMENT OF
| • originates in math pi fonts; not the straight epsilon
35
221D
| ∝
PROPORTIONAL TO
36
220B
| ∋
CONTAINS AS MEMBER
| = such that
37
220C
| ∌
DOES NOT CONTAIN AS MEMBER
38
220D
| ∍
SMALL CONTAINS AS MEMBER
| → ϶ greek reversed lunate epsilon symbol
39
221E
| ∞
INFINITY
40
221F
| ∟
RIGHT ANGLE
| = with (in chess notation)
41
220E
| ∎
END OF PROOF
| = q.e.d.
42
2210
| ∐
N-ARY COPRODUCT
| = coproduct sign
43
2221
| ∡
MEASURED ANGLE
44
2222
| ∢
SPHERICAL ANGLE
| = angle arc
45
2223
| ∣
```
DIVIDES
= such that
= APL stile
→ | vertical line
→ ǀ latin letter dental click
```
46
2224
| ∤
DOES NOT DIVIDE
47
223B
| ∻
HOMOTHETIC
| → ⩫ tilde operator with rising dots
48
223C
| ∼
```
TILDE OPERATOR
= varies with (proportional to)
= difference between
= similar to
= not
= cycle
= APL tilde
→ ~ tilde
→ ¬ not sign
→ ˜ small tilde
```
49
223D
| ∽
REVERSED TILDE
= lazy S
• reversed tilde and lazy S are glyph variants
50
223E
| ∾
INVERTED LAZY S
| = most positive
51
223F
| ∿
SINE WAVE
| = alternating current
52
2240
| ≀
WREATH PRODUCT
53
2241
| ≁
NOT TILDE
54
2242
| ≂
MINUS TILDE
55
2243
| ≃
ASYMPTOTICALLY EQUAL TO
56
2244
| ≄
NOT ASYMPTOTICALLY EQUAL TO
57
2245
| ≅
APPROXIMATELY EQUAL TO
| → ⩰ approximately equal or equal to
58
2246
| ≆
APPROXIMATELY BUT NOT ACTUALLY EQUAL TO
59
2234
| ∴
THEREFORE
| → ⛬ historic site
60
2235
| ∵
BECAUSE
61
2236
| ∶
RATIO
| • preferred to : for denotation of division or scale in mathematical use
62
2247
| ≇
NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO
63
2248
| ≈
ALMOST EQUAL TO
| = asymptotic to
64
2249
| ≉
NOT ALMOST EQUAL TO
65
224A
| ≊
ALMOST EQUAL OR EQUAL TO
66
224C
| ≌
ALL EQUAL TO
| • reversed tilde and lazy S are glyph variants
67
224D
| ≍
EQUIVALENT TO
68
224E
| ≎
GEOMETRICALLY EQUIVALENT TO
69
224F
| ≏
DIFFERENCE BETWEEN
70
2250
| ≐
APPROACHES THE LIMIT
71
2251
| ≑
GEOMETRICALLY EQUAL TO
72
2237
| ∷
PROPORTION
73
2252
| ≒
APPROXIMATELY EQUAL TO OR THE IMAGE OF
| = nearly equals
74
2253
| ≓
IMAGE OF OR APPROXIMATELY EQUAL TO
75
2238
| ∸
DOT MINUS
= saturating subtraction
• sometimes claimed as notation for symmetric set difference, but ∆ is preferred
76
2239
| ∹
EXCESS
77
223A
| ∺
GEOMETRIC PROPORTION
78
2254
| ≔
COLON EQUALS
79
2255
| ≕
EQUALS COLON
80
2256
| ≖
RING IN EQUAL TO
81
2257
| ≗
RING EQUAL TO
| = approximately equal to
82
2258
| ≘
CORRESPONDS TO
83
2259
| ≙
ESTIMATES
| = corresponds to
84
225A
| ≚
EQUIANGULAR TO
85
225B
| ≛
STAR EQUALS
86
225C
| ≜
DELTA EQUAL TO
= equiangular
= equal to by definition
87
225D
| ≝
EQUAL TO BY DEFINITION
88
225E
| ≞
MEASURED BY
89
225F
| ≟
QUESTIONED EQUAL TO
90
2260
| ≠
NOT EQUAL TO
| → = equals sign
91
2261
| ≡
IDENTICAL TO
92
2262
| ≢
NOT IDENTICAL TO
93
2263
| ≣
STRICTLY EQUIVALENT TO
94
2264
| ≤
LESS-THAN OR EQUAL TO
95
2265
| ≥
GREATER-THAN OR EQUAL TO
96
2266
| ≦
LESS-THAN OVER EQUAL TO
97
2267
| ≧
GREATER-THAN OVER EQUAL TO
98
2268
| ≨
LESS-THAN BUT NOT EQUAL TO
| ⁓ ≨ with vertical stroke
99
2269
| ≩
GREATER-THAN BUT NOT EQUAL TO
| ⁓ ≩ with vertical stroke
100
226A
| ≪
MUCH LESS-THAN
| → « left-pointing double angle quotation mark
101
226B
| ≫
MUCH GREATER-THAN
| → » right-pointing double angle quotation mark
102
226C
| ≬
BETWEEN
| = plaintiff, quantic
103
226D
| ≭
NOT EQUIVALENT TO
104
227C
| ≼
PRECEDES OR EQUAL TO
105
227D
| ≽
SUCCEEDS OR EQUAL TO
106
227E
| ≾
PRECEDES OR EQUIVALENT TO
107
227F
| ≿
SUCCEEDS OR EQUIVALENT TO
108
2280
| ⊀
DOES NOT PRECEDE
109
2281
| ⊁
DOES NOT SUCCEED
110
2282
| ⊂
SUBSET OF
| = included in set
111
2283
| ⊃
SUPERSET OF
| = includes in set
112
2284
| ⊄
NOT A SUBSET OF
113
2285
| ⊅
NOT A SUPERSET OF
114
2286
| ⊆
SUBSET OF OR EQUAL TO
115
2287
| ⊇
SUPERSET OF OR EQUAL TO
116
2288
| ⊈
NEITHER A SUBSET OF NOR EQUAL TO
117
2289
| ⊉
NEITHER A SUPERSET OF NOR EQUAL TO
118
228A
| ⊊
SUBSET OF WITH NOT EQUAL TO
| ⁓ ⊊ with stroke through bottom members
119
228B
| ⊋
SUPERSET OF WITH NOT EQUAL TO
| ⁓ ⊋ with stroke through bottom members
120
228C
| ⊌
MULTISET
121
228D
| ⊍
MULTISET MULTIPLICATION
→ ⨃ n-ary union operator with dot
→ ⩀ intersection with dot
122
228E
| ⊎
MULTISET UNION
| = z notation bag addition
123
2270
| ≰
NEITHER LESS-THAN NOR EQUAL TO
| → ⨄ n-ary union operator with plus
124
228F
| ⊏
SQUARE IMAGE OF
125
2272
| ≲
LESS-THAN OR EQUIVALENT TO
| ⁓ ≲ following the slant of the lower leg
126
2273
| ≳
GREATER-THAN OR EQUIVALENT TO
| ⁓ ≳ following the slant of the lower leg
127
2274
| ≴
NEITHER LESS-THAN NOR EQUIVALENT TO
128
2275
| ≵
NEITHER GREATER-THAN NOR EQUIVALENT TO
129
2276
| ≶
LESS-THAN OR GREATER-THAN
130
2277
| ≷
GREATER-THAN OR LESS-THAN
131
2278
| ≸
NEITHER LESS-THAN NOR GREATER-THAN
132
2279
| ≹
NEITHER GREATER-THAN NOR LESS-THAN
133
2290
| ⊐
SQUARE ORIGINAL OF
134
2291
| ⊑
SQUARE IMAGE OF OR EQUAL TO
135
2292
| ⊒
SQUARE ORIGINAL OF OR EQUAL TO
136
2293
| ⊓
SQUARE CAP
| → ⨅ n-ary square intersection operator
137
2294
| ⊔
SQUARE CUP
| → ⨆ n-ary square union operator
138
2295
| ⊕
CIRCLED PLUS
= direct sum
= vector pointing into page
139
227A
| ≺
PRECEDES
= lower rank than
→ ⊰ precedes under relation
140
227B
| ≻
SUCCEEDS
= higher rank than
→ ⊱ succeeds under relation
141
2296
| ⊖
CIRCLED MINUS
| = symmetric difference
142
2297
| ⊗
```
CIRCLED TIMES
= tensor product
= vector pointing into page
→ ⛒ circled crossing lanes
→ ⨂ n-ary circled times operator
→ ⮾ circled x
⁓ ⊗ with white rim
```
143
2298
| ⊘
CIRCLED DIVISION SLASH
144
2299
| ⊙
CIRCLED DOT OPERATOR
= direct product
= vector pointing out of page
145
229A
| ⊚
CIRCLED RING OPERATOR
| → ⌾ apl functional symbol circle jot
146
229B
| ⊛
CIRCLED ASTERISK OPERATOR
| → ⍟ apl functional symbol circle star
147
229C
| ⊜
CIRCLED EQUALS
= NoDerivatives (symbol used for Creative Commons licenses)
⁓ ⊜ with equal sign touching the circle
148
229D
| ⊝
CIRCLED DASH
149
229E
| ⊞
SQUARED PLUS
150
229F
| ⊟
SQUARED MINUS
151
22A0
| ⊠
SQUARED TIMES
→ ☒ ballot box with x
→ ⛝ squared saltire
→ 🝱 alchemical symbol for month
152
22A1
| ⊡
SQUARED DOT OPERATOR
153
22AD
| ⊭
NOT TRUE
154
22AE
| ⊮
DOES NOT FORCE
155
22AF
| ⊯
NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
156
22B0
| ⊰
PRECEDES UNDER RELATION
| → ≺ precedes
157
22B1
| ⊱
SUCCEEDS UNDER RELATION
| → ≻ succeeds
158
22B2
| ⊲
NORMAL SUBGROUP OF
| → ◅ white left-pointing pointer
159
22B3
| ⊳
CONTAINS AS NORMAL SUBGROUP
| → ▻ white right-pointing pointer
160
22B4
| ⊴
NORMAL SUBGROUP OF OR EQUAL TO
161
22B5
| ⊵
CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
162
22B6
| ⊶
ORIGINAL OF
163
22B7
| ⊷
IMAGE OF
164
22B8
| ⊸
MULTIMAP
165
22B9
| ⊹
HERMITIAN CONJUGATE MATRIX
166
22BA
| ⊺
INTERCALATE
167
22BB
| ⊻
XOR
| → ⚺ semisextile
168
22BC
| ⊼
NAND
| → ⌅ projective
169
22BD
| ⊽
NOR
170
22A2
| ⊢
RIGHT TACK
= turnstile
= proves, implies, yields
= reducible
171
22A3
| ⊣
LEFT TACK
= reverse turnstile
= non-theorem, does not yield
172
22BE
| ⊾
RIGHT ANGLE WITH ARC
173
22BF
| ⊿
RIGHT TRIANGLE
174
22C0
| ⋀
N-ARY LOGICAL AND
| • also used to denote the universal quantifier
175
22C1
| ⋁
N-ARY LOGICAL OR
176
22A4
| ⊤
DOWN TACK
= top
→ ⸆ raised interpolation marker
→ 🝨 alchemical symbol for crucible-4
177
22A5
| ⊥
UP TACK
= base, bottom
→ ⟂ perpendicular
178
22A6
| ⊦
ASSERTION
| = reduces to
179
22A7
| ⊧
MODELS
180
22A8
| ⊨
```
TRUE
= statement is true, valid
= is a tautology
= satisfies
= results in
```
181
22A9
| ⊩
FORCES
182
22AB
| ⊫
DOUBLE VERTICAL BAR DOUBLE RIGHT
| • also used to denote the existential quantifier
183
22C2
| ⋂
N-ARY INTERSECTION
| = z notation generalised intersection
184
22C3
| ⋃
N-ARY UNION
| = z notation generalised union
185
22C4
| ⋄
DIAMOND OPERATOR
→ ◇ white diamond
→ ⬩ black small diamond
186
22C5
| ⋅
DOT OPERATOR
• preferred to · for denotation of multiplication
→ · middle dot
187
22C6
| ⋆
STAR OPERATOR
• APL
→ arabic five pointed star
→ ★ black star
188
22AC
| ⊬
DOES NOT PROVE
189
22C7
| ⋇
DIVISION TIMES
190
22C8
| ⋈
BOWTIE
| → ⑅ ocr bow tie
191
22C9
| ⋉
LEFT NORMAL FACTOR SEMIDIRECT PRODUCT
192
22CA
| ⋊
RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT
193
22CB
| ⋋
LEFT SEMIDIRECT PRODUCT
194
22CC
| ⋌
RIGHT SEMIDIRECT PRODUCT
| → ⁁ caret insertion point
195
22CD
| ⋍
REVERSED TILDE EQUALS
196
22CE
| ⋎
CURLY LOGICAL OR
197
22CF
| ⋏
CURLY LOGICAL AND
198
22D0
| ⋐
DOUBLE SUBSET
199
22ED
| ⋭
DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL
200
22EE
| ⋮
VERTICAL ELLIPSIS
| → ⁝ tricolon
201
22EF
| ⋯
MIDLINE HORIZONTAL ELLIPSIS
→ … horizontal ellipsis
→ presentation form for vertical horizontal ellipsis
202
22F0
| ⋰
UP RIGHT DIAGONAL ELLIPSIS
203
22F1
| ⋱
DOWN RIGHT DIAGONAL ELLIPSIS
204
22F2
| ⋲
ELEMENT OF WITH LONG HORIZONTAL STROKE
205
22F3
| ⋳
ELEMENT OF WITH VERTICAL BAR AT END OF
206
22D1
| ⋑
DOUBLE SUPERSET
207
22D2
| ⋒
DOUBLE INTERSECTION
208
22D3
| ⋓
DOUBLE UNION
209
22D4
| ⋔
PITCHFORK
| = proper intersection
210
22F5
| ⋵
ELEMENT OF WITH DOT ABOVE
211
22F6
| ⋶
ELEMENT OF WITH OVERBAR
212
22F7
| ⋷
SMALL ELEMENT OF WITH OVERBAR
213
22F8
| ⋸
ELEMENT OF WITH UNDERBAR
214
22F9
| ⋹
ELEMENT OF WITH TWO HORIZONTAL
215
22D5
| ⋕
EQUAL AND PARALLEL TO
| → ⌗ viewdata square
216
22D6
| ⋖
LESS-THAN WITH DOT
217
22D8
| ⋘
VERY MUCH LESS-THAN
218
22D9
| ⋙
VERY MUCH GREATER-THAN
219
22DA
| ⋚
LESS-THAN EQUAL TO OR GREATER-THAN
| ⁓ ⋚ with slanted equal
220
22DB
| ⋛
GREATER-THAN EQUAL TO OR LESS-THAN
| ⁓ ⋛ with slanted equal
221
22DC
| ⋜
EQUAL TO OR LESS-THAN
222
22DD
| ⋝
EQUAL TO OR GREATER-THAN
223
22DE
| ⋞
EQUAL TO OR PRECEDES
224
22DF
| ⋟
EQUAL TO OR SUCCEEDS
225
22E0
| ⋠
DOES NOT PRECEDE OR EQUAL
226
22E1
| ⋡
DOES NOT SUCCEED OR EQUAL
227
22E2
| ⋢
NOT SQUARE IMAGE OF OR EQUAL TO
228
22E3
| ⋣
NOT SQUARE ORIGINAL OF OR EQUAL TO
229
22E4
| ⋤
SQUARE IMAGE OF OR NOT EQUAL TO
230
22E5
| ⋥
SQUARE ORIGINAL OF OR NOT EQUAL TO
231
22E6
| ⋦
LESS-THAN BUT NOT EQUIVALENT TO
232
22E7
| ⋧
GREATER-THAN BUT NOT EQUIVALENT TO
233
22E8
| ⋨
PRECEDES BUT NOT EQUIVALENT TO
234
22E9
| ⋩
SUCCEEDS BUT NOT EQUIVALENT TO
235
22EA
| ⋪
NOT NORMAL SUBGROUP OF
236
22EB
| ⋫
DOES NOT CONTAIN AS NORMAL SUBGROUP
237
22EC
| ⋬
NOT NORMAL SUBGROUP OF OR EQUAL TO
238
22FC
| ⋼
SMALL CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE
239
22FD
| ⋽
CONTAINS WITH OVERBAR
240
22FE
| ⋾
SMALL CONTAINS WITH OVERBAR
241
22FF
| ⋿
Z NOTATION BAG MEMBERSHIP
