O que significa ∷
A:B∷C:D lê-se «A está para B assim como C está para D». A relação entre A e B corresponde à relação entre C e D. O sinal de razão ∶ separa os termos de cada par; ∷ liga os pares.
A notação evoluiu com o tempo. A notação de proporção de Oughtred aparece numa obra composta por volta de 1628; Vincent Wing usou A:B∷C:D em 1651. Uma proposta Unicode atribui a Leibniz a forma compacta ∷ em 1696. O Unicode também distingue ∷ de um sinal de pontuação formado por quatro pontos dentro de um quadrado.
Não confunda com
1Como digitar ∷
∷\2237Códigos e codificaçãoPontos de código: 1
Um símbolo visível pode conter vários pontos de código. JS .length conta unidades UTF-16; UTF-8 conta bytes.

