fsymbols
Chargement des symboles…
››
∷

Signe de proportion

Signe de proportion

56/256

∷ est le signe de proportion. Placé entre deux rapports, il dit qu'ils sont égaux : a:b∷c:d se lit « a est à b ce que c est à d », comme 2:3∷4:6. On le croise dans les vieux manuels, certains manuels anglophones et les exercices d'analogie comme « chaud : froid ∷ jour : nuit ».

Symbole textuel

Que signifie ∷

« a est à b ce que c est à d » : deux rapports égaux. Le deux-points écrit un rapport (2:3, deux parts pour trois), et ∷ dit que le rapport de gauche égale celui de droite. 2:3∷4:6 revient donc à 2:3 4:6 ou 2/3 4/6, l'écriture des manuels actuels.

Cette disposition a donné leur vocabulaire aux proportions : a et d sont les extrêmes, b et c les moyens. D'où la règle scolaire : le produit des moyens est égal au produit des extrêmes (b c a d), qui permet de trouver un terme manquant.

Hors de l'arithmétique, le même schéma sert aux analogies des tests de raisonnement : « oiseau : nid ∷ abeille : ruche », c'est-à-dire « même relation ». On le tape le plus souvent avec deux deux-points ordinaires, ::, et on est compris pareil.

D'où viennent les quatre points ?

De l'Angleterre du XVIIe siècle, avant que le signe égal s'impose. William Oughtred, qui introduisit aussi pour la multiplication, relia deux rapports par :: dans un ouvrage rédigé vers 1628, en notant chaque rapport d'un simple point. En 1651, Vincent Wing écrivait A:B::C:D, forme qui remplit les manuels d'arithmétique anglais pendant deux siècles. Avec la généralisation du signe égal, a:b c:d l'a remplacé dans la plupart des classes.

Fait partie de la collection

Ne pas le confondre avec

4

:: Deux deux-points ordinaires. Très bien pour une analogie en texte brut ; en programmation, :: veut dire tout autre chose.

À savoir

  • Les mots « moyens » et « extrêmes » viennent tout droit de cette écriture : dans a:b∷c:d, les moyens sont au centre, juste à côté des quatre points.

Questions fréquentes

2

Puis-je simplement taper deux deux-points ?

Oui. Dans une analogie ou un texte brut, « :: » se lit de la même façon. ∷ est un seul caractère aux points bien alignés, plus soigné en typographie mathématique.

∷ et , c'est pareil ?

Non. signifie « est proportionnel à », comme dans y x. ∷ affirme que deux rapports précis sont égaux.

Collections avec ∷

2

Taper ou trouver ∷

Aussi appelé
double deux-points · quatre points · signe « comme »
Recherchez-le comme
symbole proportion · a:b::c:d · rapport · est à ce que · analogie
Apparaît dans
Tout champ acceptant du texte · sa forme dépend de la police
Windows (Word)
⎇Alt+XSaisissez 2237, puis AltX pour obtenir ∷.
Windows
⊞Win+RLancez charmap pour la table complète ou utilisez l’onglet Ω du sélecteur d’emojis (Win .).
macOS
⌃Control+⌘Command+␣SpaceOuvrez le visualiseur de caractères et cherchez « proportion ».
Linux
⎈Ctrl+⇧Shift+USaisissez 2237, puis Entrée ou Espace.
HTML
∷
CSS
\2237
Windows (Word)
Tapez 2237 puis AltX.
Mac
Activez la disposition Unicode Hex Input, maintenez Option et tapez 2237.
Linux
CtrlMajU, puis 2237, puis Espace ou Entrée.
HTML
Écrivez ∷ ou ∷.
LaTeX
Avec le paquet mathtools, utilisez \dblcolon ; dans le texte courant, :: suffit.
Codes et encodagePoints de code : 1
HTML décimal
∷
HTML hexadécimal
∷
Contenu CSS
content: "\2237";
Chaque échappement se termine à la barre oblique inverse suivante ; ajoutez une espace avant un chiffre hexadécimal littéral.
Encodage URL
%E2%88%B7
1
À l’écran
1
Points de code
1
JS .length
3
Octets UTF-8

Un symbole visible peut contenir plusieurs points de code. JS .length compte les unités UTF-16 ; UTF-8 compte les octets.

Groupes de ce symbole

1

Mathématiques et nombres1 835 symboles