Négation de $\implies$

Salut,
On peut faire \not\Rightarrow $\not\Rightarrow$. Ça n'est pas tout à fait la même chose, mais ç'a la même signification.

Voici une variante où la largeur de la croix est déterminée de manière automatique par le style mathématique courant (qui permet de savoir si l'on est en indice-ou-exposant, en sous-indice-ou-sous-exposant, ou ni l'un ni l'autre). Dans cette variante, l'argument optionnel de \myNotImplies n'est plus une longueur mais un facteur appliqué à la largeur déterminée de manière automatique. La deuxième ligne de l'exemple a des croix deux fois plus étroites que la première car la valeur par défaut du facteur appliqué est « 1.0 ».

\documentclass{article}
\usepackage{tikz}
\usetikzlibrary{shapes.misc}

\makeatletter
% Commande d'egreg (https://tex.stackexchange.com/a/499972/73317)
\newcommand*{\math@param}[3]{%
  \fontdimen#3
  \ifx#1\displaystyle\textfont#2
  \else\ifx#1\textstyle\textfont#2
  \else\ifx#1\scriptstyle\scriptfont#2
  \else\scriptscriptfont#2 \fi\fi\fi
}

\newcommand{\my@centered@ooalign}[1]{%
  \leavevmode\vtop{\baselineskip\z@skip\lineskiplimit-\maxdimen
  \ialign{\hfil##\hfil\crcr#1\crcr}}}

\newlength{\my@NotImplies@width}

\newcommand{\myNotImplies}[1][1.0]{\mathrel{\mathpalette\my@NotImplies{#1}}}
\newcommand{\my@NotImplies}[2]{%
  \settowidth{\my@NotImplies@width}{$\m@th#1\mkern 8mu$}% largeur croix par défaut
  \my@centered@ooalign{%
    $\m@th#1\Longrightarrow$\cr
    $\m@th#1\mkern-3mu
    \begin{tikzpicture}[baseline=\dimexpr-\math@param{#1}{2}{22}\relax]
      \node[cross out, draw=red!90!black, inner xsep=0, inner ysep=0.2em,
            minimum width=#2\my@NotImplies@width, align=center]{%
        $\m@th#1\vphantom{\Longrightarrow}$};
    \end{tikzpicture}$}%
}
\makeatother

\begin{document}

$A \myNotImplies B \quad x_{{A \myNotImplies B}_{A \myNotImplies B}}$

$A \myNotImplies[0.5] B \quad
 x_{{A \myNotImplies[0.5] B}_{A \myNotImplies[0.5] B}}$

\end{document}