Négation de $\implies$ — Les-mathematiques.net The most powerful custom community solution in the world

Négation de $\implies$

Bonjour,

Est-il possible de faire le signe ci-dessous sur ce phorum ?

Même chose pour un $\impliedby$ barré.106542

Réponses

  • Salut,
    On peut faire \not\Rightarrow $\not\Rightarrow$. Ça n'est pas tout à fait la même chose, mais ç'a la même signification.
  • La largeur des croix est donnée par l'argument optionnel de \myNotImplies. Pour changer leur hauteur, jouer sur le paramètre 'inner ysep'. La couleur peut être modifiée en changeant 'draw=black' en 'draw=red', etc.
    \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}}}
    
    \newcommand{\myNotImplies}[1][0.5em]{\mathrel{\mathpalette\my@NotImplies{#1}}}
    \newcommand{\my@NotImplies}[2]{%
      \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=black, inner xsep=0, inner ysep=0.2em,
                minimum width=#2, 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.7em] B \quad
     x_{{A \myNotImplies[0.6em] B}_{A \myNotImplies[0.5em] B}}$
    
    \end{document}
    
    106560
  • 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}
    
    106566
  • Je n'étais pas revenu vous remercier, je le fais maintenant, merci !
Connectez-vous ou Inscrivez-vous pour répondre.
Success message!