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
2Puis-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 ∷
2Taper 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
∷\2237Codes et encodagePoints de code : 1
Un symbole visible peut contenir plusieurs points de code. JS .length compte les unités UTF-16 ; UTF-8 compte les octets.



