Proportion

Groupe: Mathématiques

Mots-clés

math

Codes techniques

Point de code: U+2237
Hex: 2237
Decimal: 8759
HTML: ∷
CSS: \2237
JavaScript: \u2237
Python: \u2237
UTF-8: E2 88 B7

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.