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.
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 ».
Réponses
On peut faire \not\Rightarrow $\not\Rightarrow$. Ça n'est pas tout à fait la même chose, mais ç'a la même signification.