O Guia Completo do Símbolo ∷ (Proporção)
O símbolo ∷ (U+2237), oficialmente conhecido como Proporção, é um caractere formado por quatro pontos alinhados em um quadrado. Na matemática clássica, ele serve para indicar a igualdade entre duas razões. Em uma equação como "a : b ∷ c : d", o símbolo é lido como "assim como". Ou seja, a expressão significa "a está para b, assim como c está para d".
Este caractere faz parte do bloco de Operadores Matemáticos do padrão Unicode, criado para unificar a representação de fórmulas matemáticas em ambientes digitais. Visualmente, ele se parece com dois pontos duplos (::) alinhados em um único espaço. Embora sua origem seja puramente técnica e acadêmica, a flexibilidade da internet deu a ele novos propósitos.
Na matemática e na lógica, o ∷ mantém seu papel tradicional de proporção. Já na programação, a história é um pouco diferente. Linguagens como C++, Rust e Ruby usam "dois pontos duplos" (::) para resolução de escopo. No entanto, os desenvolvedores digitam dois caracteres de dois pontos normais do teclado (ASCII), e não este símbolo Unicode único. O caractere ∷ aparece mais em editores de texto científico, onde a formatação tipográfica exige o espaçamento exato de um operador matemático autêntico.
Nas redes sociais e fóruns, o ∷ ganhou uma vida dupla. Fãs de estética digital (aesthetics), criadores de conteúdo e usuários do Discord costumam resgatar símbolos matemáticos obscuros para criar divisores de texto elegantes, bordas personalizadas ou enfeitar nomes de usuário. Ele também aparece em alguns kaomojis (emoticons japoneses) para representar olhos robóticos ou texturas criativas.
Para digitar o ∷ no seu computador ou celular, o método mais rápido é o bom e velho copiar e colar. Se você prefere atalhos, no Windows, segure a tecla Alt e digite 8759 no teclado numérico. No macOS, pressione Control + Command + Barra de Espaço para abrir o visualizador de caracteres e busque por "proportion". Em HTML, você pode usar o código ∷ para garantir que ele apareça corretamente em uma página web.
O ∷ tem vários "primos" no Unicode que costumam causar confusão. Ele é estruturalmente diferente do sinal de dois pontos padrão (:), do símbolo de Portanto (∴) composto por três pontos em triângulo apontando para cima, e do símbolo de Porque (∵), que aponta para baixo. Cada um tem seu próprio código e função na matemática, mas todos compartilham um apelo visual geométrico que os torna muito populares muito além dos livros didáticos.