Cosa significa ⤏
Il significato dipende dalla notazione circostante.
MathML la classifica come operatore infisso (tra espressioni) e la contrassegna come “estensibile” e “accento”: sono regole d’impaginazione, non un significato universale come “implica”.
Una bozza di MathML del 1999 usava dbkarow per un codice a uso privato, senza significato condiviso. Un elenco di entità ISO del 2003 associa quel nome a ⤏ e lo definisce “freccia a destra con doppia interruzione”.
Tecnica; la notazione circostante ne definisce il ruolo.
Da sola non significa “implica”.
Non confonderlo con
1Come digitare ⤏
⤏\290FCodici e codificaPunti di codice: 1
Un simbolo visibile può contenere più punti di codice. JS .length conta le unità UTF-16; UTF-8 conta i byte.
