Freccia verso destra con punta aperta

Indica una direzione verso destra; la notazione ne determina il ruolo preciso. Nei testi matematici o logici, ⇾ può fungere da operatore specializzato; l’espressione circostante stabilisce la relazione.

Da molto tempo le frecce servono a indicare direzioni. Un’illustrazione didattica con una freccia risale circa al I secolo d.C. Le forme delle frecce furono semplificate tra la metà e la fine del XIX secolo; nel 1922 David Hilbert usò una freccia per l’implicazione logica. Sono tappe della storia generale delle frecce, non un’interpretazione fissa di ⇾.

MathML classifica ⇾ come operatore infisso elastico: si trova tra le parti di un’espressione e può allungarsi per adattarsi. Questo ruolo nell’impaginazione non gli assegna un significato universale.