Seta para a direita de duas pontas

Marca uma função sobrejetiva (sobrejetora). Uma seta simples f: X → Y só diz que f leva elementos de X para Y. A segunda ponta acrescenta uma promessa: cada elemento de Y é atingido por pelo menos um elemento de X, nada em Y fica de fora. Imagine uma sala em que todas as cadeiras acabam ocupadas, mesmo que algumas tenham duas pessoas: isso é "sobre". Elevar ao quadrado, por exemplo, é sobrejetiva sobre os números não negativos, mas não sobre todos os reais, porque nenhum quadrado é negativo.

Ela pertence a uma pequena família de setas que embutem uma propriedade no próprio símbolo: → para qualquer função, ↣ (com cauda) para uma injeção, em que duas entradas nunca compartilham a mesma saída, e ↠ para uma sobrejeção. Uma função que é as duas coisas é uma bijeção, escrita por extenso ou com cauda e duas pontas juntas (⤖). Na teoria das categorias ↠ é um epimorfismo, primo abstrato da função sobre; num diagrama, leia como "sobre" ou "epi". Na notação Z, uma linguagem formal para especificar software, ↠ é a sobrejeção total: definida em todo X e sobre Y.

As setas para funções são mais novas do que parecem: o grupo Bourbaki de matemáticos franceses já escrevia funções com setas em 1939; pontas extras, caudas e ganchos são refinamentos posteriores que mostram as propriedades de uma função de relance.

Significa algo especial num post ou numa bio?

Normalmente não: fora da matemática é sobretudo uma seta decorativa. Às vezes é escolhida porque parece mais afiada que → como marcador, como ponteiro para um link ou como sinal de "próximo" em legendas e textos de perfil. Não tem significado oculto estabelecido; leia como "veja" ou "leva a". As notas do Unicode também a registram como símbolo de tecla "cursor rápido para a direita", um uso técnico raro.

Como é um caractere de texto e não um emoji, sua aparência depende inteiramente da fonte: pontas longas ou curtas, haste grossa ou fina, o caractere é o mesmo.