Re: frecce “negate” e \nrightarrow – bassa priorità

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