Doppia freccia su-giù

Una relazione nei due sensi tra ciò che sta sopra e ciò che sta sotto. Diverse frecce con asta doppia sono segni logici: ⇒ significa «implica», ⇐ «è implicato da» e ⇔ «se e solo se» (ogni lato è vero esattamente quando lo è l'altro). ⇕ è ⇔ messa in verticale. Non ha un significato fisso proprio: quando le due cose collegate sono una sopra l'altra invece che affiancate, spesso si legge come ⇔.

È lì che la incontrerai davvero. Quando un libro di testo o una dimostrazione risolve un'equazione passo dopo passo scendendo lungo la pagina, con ogni riga equivalente alla precedente, alcuni autori mettono ⇕ (o ⇔) tra le righe per dire «questa riga e la successiva dicono la stessa cosa». Nei diagrammi commutativi e in altre figure matematiche, una doppia freccia verticale può collegare due oggetti; la legenda o il testo dicono cosa significa. Fuori dalla matematica può comparire in diagrammi di flusso e disegni tecnici come marcatore deciso di «entrambe le direzioni».

Se qualcuno ti manda ⇕ in chat non c'è nessun gergo noto da decifrare: è una freccia bidirezionale decorativa o enfatica, una cugina più pesante di ↕.

⇕ o ↕: quale ti serve?

Per tutto ciò che non è logica o matematica, ↕ è la scelta normale. ↕ è la freccia su-giù a tratto singolo; ha una forma emoji (↕️) che molti telefoni mostrano come icona colorata ed è quella offerta dai selettori di emoji. ⇕ non ha una forma emoji e resta un segno di testo, cosa adatta alle formule: non si trasforma in un'immagine. Scegli ⇕ se vuoi l'aspetto a doppio tratto o la abbini a ⇒ e ⇔ nello stesso testo; scegli ↕ per direzioni, ridimensionamento, «scorri su o giù» e messaggi di tutti i giorni.

L'aspetto cambia con il font: due aste vicine o distanti, ma il carattere è ovunque lo stesso.