Strzałka w prawo z dwoma grotami

Oznacza odwzorowanie suriektywne, czyli „na”. Zwykła strzałka f: X → Y mówi tylko, że f przenosi elementy X do Y. Drugi grot dodaje obietnicę: każdy element Y jest osiągany przez co najmniej jeden element X, nic w Y nie zostaje pominięte. Wyobraź sobie salę, w której na końcu każde krzesło jest zajęte, nawet jeśli na niektórych siedzą dwie osoby: to właśnie „na”. Podnoszenie do kwadratu jest na przykład suriekcją na liczby nieujemne, ale nie na wszystkie liczby rzeczywiste, bo żaden kwadrat nie jest ujemny.

Należy do małej rodziny strzałek, z których każda pakuje własność do samego symbolu: → dla dowolnego odwzorowania, ↣ (z ogonkiem) dla iniekcji, w której dwa argumenty nigdy nie dzielą tej samej wartości, i ↠ dla suriekcji. Odwzorowanie będące jednym i drugim to bijekcja, zapisywana słownie lub ogonkiem i dwoma grotami naraz (⤖). W teorii kategorii ↠ oznacza epimorfizm, abstrakcyjnego kuzyna funkcji „na”; na diagramie czytaj go jako „na” albo „epi”. W notacji Z, formalnym języku specyfikacji oprogramowania, ↠ to suriekcja całkowita: określona na całym X i „na” Y.

Strzałki dla odwzorowań są młodsze, niż się wydaje: francuska grupa matematyków Bourbaki pisała funkcje strzałkami już w 1939 roku; dodatkowe groty, ogonki i haczyki to późniejsze udoskonalenia, które pokazują własności odwzorowania na pierwszy rzut oka.

Czy w poście albo w opisie profilu znaczy coś szczególnego?

Zwykle nie: poza matematyką to głównie ozdobna strzałka. Czasem się ją wybiera, bo wygląda ostrzej niż →, jako punktor, wskaźnik na link albo znak „dalej” w podpisach i opisach profilu. Nie ma ustalonego ukrytego znaczenia; czytaj ją jako „zobacz” lub „prowadzi do”. W uwagach Unicode figuruje też jako symbol klawisza „szybki kursor w prawo”, rzadkie zastosowanie techniczne.

Ponieważ to znak tekstowy, a nie emoji, jej wygląd zależy całkowicie od czcionki: groty długie lub krótkie, trzon gruby lub cienki, a znak pozostaje ten sam.