Small Element Of With Vertical Bar At End Of Horizontal Stroke

Groupe: Mathématiques

Mots-clés

math

Codes techniques

Point de code: U+22F4
Hex: 22F4
Decimal: 8948
HTML: ⋴
CSS: \22F4
JavaScript: \u22F4
Python: \u22F4
UTF-8: E2 8B B4

Chaque système et chaque police dessinent le même caractère différemment.

Voisins

For All U+2200
Complement U+2201
Partial Differential U+2202
There Exists U+2203
There Does Not Exist U+2204
Empty Set U+2205
Increment U+2206
Nabla U+2207
Element Of U+2208
Not An Element Of U+2209
Small Element Of U+220A
Contains As Member U+220B
Does Not Contain As Member U+220C
Small Contains As Member U+220D
End Of Proof U+220E
N-Ary Product U+220F
N-Ary Coproduct U+2210
N-Ary Summation U+2211
Minus Sign U+2212
Minus-Or-Plus Sign U+2213
Dot Plus U+2214
Division Slash U+2215
Set Minus U+2216
Asterisk Operator U+2217

Questions

Pourquoi cet emoji est-il différent sur mon téléphone ?

Unicode normalise le sens d’un caractère, pas son dessin. Apple, Google, Microsoft et Samsung produisent leurs propres illustrations : le même point de code change donc de forme selon l’appareil.

La copie fonctionne-t-elle partout ?

Le caractère est copié en texte brut : il se colle dans toute application qui accepte du texte. Si l’application n’a pas la police adaptée, un carré vide s’affiche.