Qué significa ∷
A:B∷C:D se lee «A es a B como C es a D». La relación entre A y B coincide con la de C y D. El signo de razón ∶ separa los términos de cada pareja; ∷ une las parejas.
La notación evolucionó con el tiempo. La notación de proporción de Oughtred aparece en una obra compuesta hacia 1628; Vincent Wing usó A:B∷C:D en 1651. Una propuesta de Unicode atribuye a Leibniz la forma compacta ∷ en 1696. Unicode también distingue ∷ de un signo de puntuación formado por cuatro puntos dentro de un cuadrado.
No lo confundas con
1Cómo escribir ∷
Windows (Word)
Alt+XEscribe 2237 y pulsa Alt+X para obtener ∷.
Windows
Win+REjecuta charmap o abre la pestaña de símbolos Ω con Win + .
macOS
Control+Command+SpaceAbre el visor de caracteres y busca el símbolo.
Linux
Ctrl+Shift+UDespués escribe 2237 y pulsa Enter o Espacio.
HTML
∷CSS
\2237Códigos y codificaciónPuntos de código: 1
HTML decimal
∷
HTML hexadecimal
∷
Contenido CSS
content: "\2237";
Cada escape termina en la siguiente barra inversa; añade un espacio antes de un dígito hexadecimal literal.
Codificación URL
%E2%88%B7
1
En pantalla
1
Puntos de código
1
JS .length
3
Bytes UTF-8
Un símbolo visible puede contener varios puntos de código. JS .length cuenta unidades UTF-16; UTF-8 cuenta bytes.