Hva betyr ∷
A:B∷C:D leses «A står til B som C står til D». Relasjonen mellom A og B tilsvarer den mellom C og D. Forholdstegnet ∶ skiller leddene i hvert par; ∷ kobler sammen parene.
Notasjonen utviklet seg over tid. Oughtreds proporsjonsnotasjon finnes i et verk skrevet omkring 1628; Vincent Wing brukte A:B∷C:D i 1651. Et Unicode-forslag tilskriver Leibniz den kompakte formen ∷ i 1696. Unicode skiller også ∷ fra et eget skilletegn som består av fire prikker i en firkant.
Ikke forveksle med
1Slik skriver du ∷
∷\2237Koder og kodingKodepunkter: 1
Et synlig symbol kan inneholde flere kodepunkter. JS .length teller UTF-16-enheter; UTF-8 teller byte.

