Pijl naar rechts met twee punten

Hij markeert een surjectieve afbeelding. Een gewone pijl f: X → Y zegt alleen dat f elementen van X naar Y stuurt. De tweede punt voegt een belofte toe: elk element van Y wordt door minstens één element van X bereikt, niets in Y blijft over. Denk aan een zaal waarin aan het eind elke stoel bezet is, ook al zitten er op sommige twee mensen: dat is "op". Kwadrateren is bijvoorbeeld surjectief op de niet-negatieve getallen, maar niet op alle reële getallen, want geen enkel kwadraat is negatief.

Hij hoort bij een kleine familie pijlen die elk een eigenschap in het symbool stoppen: → voor een willekeurige afbeelding, ↣ (met een staart) voor een injectie, waarbij twee invoeren nooit dezelfde uitvoer delen, en ↠ voor een surjectie. Een afbeelding die beide is heet een bijectie, geschreven in woorden of met staart en twee punten samen (⤖). In de categorietheorie staat ↠ voor een epimorfisme, de abstracte neef van de surjectie; in een diagram lees je hem als "op" of "epi". In Z-notatie, een formele taal om software te specificeren, is ↠ de totale surjectie: gedefinieerd op heel X en op Y.

Pijlen voor afbeeldingen zijn jonger dan ze lijken: de Franse wiskundigengroep Bourbaki schreef functies al in 1939 met pijlen; extra punten, staarten en haken zijn latere verfijningen die de eigenschappen van een afbeelding in één oogopslag tonen.

Betekent hij iets bijzonders in een post of een bio?

Meestal niet: buiten de wiskunde is het vooral een sierpijl. Soms kiezen mensen hem omdat hij scherper oogt dan → als opsommingsteken, als aanwijzer naar een link of als "volgende"-teken in bijschriften en profielteksten. Een vaste verborgen betekenis heeft hij niet; lees hem als "zie" of "leidt naar". De Unicode-aantekeningen noemen hem ook als toetssymbool "cursor snel naar rechts", een zeldzaam technisch gebruik.

Omdat het een tekstteken is en geen emoji, hangt zijn uiterlijk volledig van het lettertype af: lange of korte punten, dikke of dunne schacht, het teken blijft hetzelfde.