Cosa significa ∷
A:B∷C:D si legge «A sta a B come C sta a D». La relazione tra A e B corrisponde a quella tra C e D. Il segno di rapporto ∶ separa i termini di ciascuna coppia; ∷ collega le coppie.
La notazione si è sviluppata nel tempo. La notazione di proporzione di Oughtred compare in un’opera composta intorno al 1628; Vincent Wing usò A:B∷C:D nel 1651. Una proposta Unicode attribuisce a Leibniz la forma compatta ∷ nel 1696. Unicode distingue anche ∷ da un segno di punteggiatura formato da quattro punti dentro un quadrato.
Non confonderlo con
1Come digitare ∷
∷\2237Codici e codificaPunti di codice: 1
Un simbolo visibile può contenere più punti di codice. JS .length conta le unità UTF-16; UTF-8 conta i byte.

