MathemaTeX

de **lebendre** le Jeudi 18 Mai 2006, 22:39

Bonsoir!

Oui oui, il est déjà tard, mais bon...

Est-ce que vous savez s'il existe un symbole correspondant à \nRightarrow (=négation de implique) mais avec une longue flèche (style \Longrightarrow) ? Parce que \nLongrightarrow ça n'existe pas

Et puis juste en passant, c'est normal que lorsque je compile, dans le dvi le \nRightarrow ne s'affiche pas, tandis que si je fais dvipdf ou directement pdflatex, ça l'affiche?

Voilà, c'est tout pour ce soir!
Bonne nuit

de **rebouxo** le Vendredi 19 Mai 2006, 10:01

Cela existe, dans le paquet AMS $\LaTeX$ :

Code: Tout sélectionner: \nLeftarrow \nLeftrightarrow \nRightarrow \nleftarrow \nleftrightarrow \nrightarrow

Voir le post sur la documentation $\LaTeX$ , pour le la comprehensive $\LaTeX$ symbol list. Une liste bien pratique à avoir sous la main.

Salut

de **lebendre** le Vendredi 19 Mai 2006, 10:30

Oui, j'ai aussi trouvé ça dans le comprehensive symbol list, mais je demandais s'il existait une version longue de \nRightarrow, c'est à dire la négation de \Longrightarrow !
Et tu sais pourquoi dans le dvi ça ne s'affiche pas? (ça met des ; et des : et des ! à la place)

de **rebouxo** le Vendredi 19 Mai 2006, 10:35

Oups pardon, j'ai lu trop vite.
Si c'est pas dans la comprehensive, je pense que cela doit pas trop exister.

Pour le 2e, hypothèse : pas définie au bon endroit dans les fontes utilisées par le dvi.
Mais la dessus je ne parierais pas un kopeck.

Olivier

de **lebendre** le Vendredi 19 Mai 2006, 11:46

Bon, c'est pas grave, je me contenterai de la flèche courte...
Et puis pour le dvi ça fait rien non plus, de toute façon je passe ensuite en pdf avant l'impression!

Bonne journée, merci!

de **guiguiche** le Dimanche 21 Mai 2006, 10:14

Il me semble que \not\Longrightarrow donne ce qui est cheché.

de **sotwafits** le Dimanche 21 Mai 2006, 13:06

guiguiche a écrit:Il me semble que \not\Longrightarrow donne ce qui est cheché.

Non, ce n'est pas très beau, ça donne ceci : $\not\Longrightarrow$

de **guiguiche** le Dimanche 21 Mai 2006, 13:44

Effectivement, je n'avais pas compilé, je m'étais contenté du rendu de lyx.

de **lebendre** le Dimanche 21 Mai 2006, 15:23

oh, ne vous creusez plus la tête, je me satisferai bien d'une courte flèche... :wink:

Merci encore!

de **pichelotte** le Lundi 22 Mai 2006, 00:31

Hello si tu tiens vraiment à un truc plus ou moins "symétrique" fais toi une macro avec comme commande:

Code: Tout sélectionner: $\not$\hspace{-4pt}$\Longrightarrow$

Si ca tombe tu peux même mettre le tout entre deux uniques $

Certes, point de vue du code, c'est pas très élégant, ni rapide, et encore moins beau mais bon, si tu te fais un petit raccourcis, libre a toi de mettre \nLongrightarrow.

Bon courage ;-)

de **lebendre** le Lundi 22 Mai 2006, 08:17

yes, ça marche!
Bonne journée, merci pichelotte!

de **guiguiche** le Lundi 22 Mai 2006, 08:29

Dans la même veine : \not\!\Longrightarrow qui donne $\not\!\Longrightarrow$ .

de **lebendre** le Lundi 22 Mai 2006, 09:35

Pas trop, pas trop, je ne vais plus savoir que choisir !!! :lol:

Guiguiche, j'espère que tu ne seras pas trop déçu si je te dis que je préfère la version de pichelotte, parce que la barre oblique est plus centrée avec \hspace{-4pt} qu'avec \! alors c'est plus joli...
Bye!

de **guiguiche** le Lundi 22 Mai 2006, 09:38

Sans rancune Lebendre. Sans la proposition de Pichelotte, je n'aurai pas eu l'idée de cette proposition (cela ne m'était pas venu à l'esprit d'intercaler un espacement négatif). Donc, merci Pichelotte.

MathemaTeX

Négation de implique version longue ?

Négation de implique version longue ?

Qui est en ligne