Négation de $\implies$
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}
-
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}
-
Je n'étais pas revenu vous remercier, je le fais maintenant, merci !
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 8 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres