frecce “negate” e \nrightarrow – bassa priorità

Hai provato con il pacchetto cancel? Attento, non l’ho mai usato e non so che effetto si può ottenere, potrebbe essere anche molto brutto. Però è sempre una possibilità da provare…

Buon pomeriggio,
avrei bisogno di utilizzare la freccia dell’implicazione negata ed ho trovato, nel file dei simboli di Scott Pakin, il comando \nrightarrow. Tuttavia, ho visto che esiste la possibilità di fare una freccia negata con la barra della negazione più “evidente”, diciamo… qualcuno saprebbe quindi darmi dei comandi alternativi?
Grazie in anticipo,
O.

`\usepackage{stmaryrd}
\newcommand{Nrightarrow}{\Arrownot\rightarrow}`
Se invece è la freccia \Rightarrow che vuoi negare, puoi usare \nRightarrow oppure, ma non mi piace affatto
`\newcommand{\NRightarrow}{\mkern-1mu\not\mkern1mu\Rightarrow}`
I due \mkern si cancellano, ma servono a tenere un po’ indietro il \not.

Ciao
Enrico