Doppelspitzen-Pfeil nach rechts

Er kennzeichnet eine surjektive Abbildung. Ein einfacher Pfeil f: X → Y sagt nur, dass f Elemente von X nach Y schickt. Die zweite Spitze fügt ein Versprechen hinzu: Jedes Element von Y wird von mindestens einem Element aus X erreicht, nichts in Y bleibt übrig. Stell dir einen Saal vor, in dem am Ende jeder Stuhl besetzt ist, auch wenn auf manchem zwei Leute sitzen: Das ist surjektiv. Das Quadrieren etwa ist surjektiv auf die nichtnegativen Zahlen, aber nicht auf alle reellen Zahlen, weil kein Quadrat negativ ist.

Der Pfeil gehört zu einer kleinen Familie, die je eine Eigenschaft ins Zeichen packt: → für eine beliebige Abbildung, ↣ (mit Schwanz) für eine Injektion, bei der zwei Eingaben nie dieselbe Ausgabe teilen, und ↠ für eine Surjektion. Eine Abbildung, die beides ist, heißt Bijektion und wird in Worten oder mit Schwanz und zwei Spitzen zugleich (⤖) geschrieben. In der Kategorientheorie steht ↠ für einen Epimorphismus, den abstrakten Verwandten der Surjektion; in einem Diagramm liest man ihn als „surjektiv“ oder „epi“. In der Z-Notation, einer formalen Sprache zur Software-Spezifikation, ist ↠ die totale Surjektion: auf ganz X definiert und surjektiv auf Y.

Pfeile für Abbildungen sind jünger, als man denkt: Die französische Mathematikergruppe Bourbaki schrieb Funktionen schon 1939 mit Pfeilen; die zusätzlichen Spitzen, Schwänze und Haken sind spätere Verfeinerungen, die die Eigenschaften einer Abbildung auf einen Blick zeigen.

Bedeutet er in einem Post oder einer Bio etwas Besonderes?

Meist nicht: außerhalb der Mathematik ist er vor allem ein Deko-Pfeil. Manche wählen ihn, weil er schärfer wirkt als →, als Aufzählungszeichen, als Zeiger auf einen Link oder als „weiter“-Marke in Bildunterschriften und Profiltexten. Eine etablierte verborgene Bedeutung hat er nicht; lies ihn als „siehe“ oder „führt zu“. In den Unicode-Anmerkungen steht er außerdem als Tastensymbol „Cursor schnell nach rechts“, ein seltener technischer Gebrauch.

Weil er ein Textzeichen und kein Emoji ist, hängt sein Aussehen ganz von der Schrift ab: Die Spitzen können lang oder kurz sein, der Schaft dick oder dünn, das Zeichen bleibt dasselbe.