Flecha hacia la derecha de dos puntas

Marca una aplicación sobreyectiva (suprayectiva). Una flecha simple f: X → Y solo dice que f lleva elementos de X a Y. La segunda punta añade una promesa: cada elemento de Y es alcanzado por al menos un elemento de X, nada de Y queda fuera. Imagina una sala donde todas las sillas acaban ocupadas, aunque alguna tenga dos personas: eso es «sobre». Elevar al cuadrado, por ejemplo, es sobreyectiva sobre los números no negativos, pero no sobre todos los reales, porque ningún cuadrado es negativo.

Pertenece a una pequeña familia de flechas que meten una propiedad en el propio símbolo: → para cualquier aplicación, ↣ (con cola) para una inyección, donde dos entradas distintas nunca comparten salida, y ↠ para una sobreyección. Una aplicación que es ambas cosas es una biyección, que se escribe con palabras o con cola y dos puntas combinadas (⤖). En teoría de categorías ↠ es un epimorfismo, el primo abstracto de la aplicación sobre; en un diagrama léelo como «sobre» o «epi». En la notación Z, un lenguaje formal para especificar software, ↠ es la sobreyección total: definida en todo X y sobre Y.

Las flechas para aplicaciones son más jóvenes de lo que parecen: el grupo Bourbaki de matemáticos franceses ya escribía funciones con flechas en 1939; las puntas extra, colas y ganchos son refinamientos posteriores que permiten ver las propiedades de un golpe de vista.

¿Significa algo especial en una publicación o una bio?

Normalmente no: fuera de las matemáticas es sobre todo una flecha decorativa. A veces se elige porque se ve más afilada que → como viñeta, como puntero hacia un enlace o como marca de «siguiente» en pies de foto y textos de perfil. No tiene un significado oculto establecido; léela como «mira» o «lleva a». Las notas de Unicode también la recogen como símbolo de tecla «cursor rápido a la derecha», un uso técnico poco común.

Como es un carácter de texto y no un emoji, su aspecto depende por completo de la fuente: las puntas pueden ser largas o cortas y el trazo grueso o fino, pero el carácter es el mismo.