Double flèche vers la droite en LaTeX (\Rightarrow)

Où il est utilisé

Trace une courte flèche à double trait vers la droite, le signe d’implication standard entre formules.

\Rightarrow énonce qu’une formule en implique une autre, comme dans p \Rightarrow q, et étiquette le sens direct (\Rightarrow) dans les démonstrations d’équivalence. \implies imprime le plus long \Longrightarrow avec un espacement épais supplémentaire et convient aux implications entre énoncés complets. En probabilités, on écrit la convergence en loi X_n \Rightarrow X, et la réécriture de termes l’utilise pour une étape de réduction. L’algèbre de Boole l’utilise pour le conditionnel. Préférez-la à la flèche simple \to lorsque les objets sont des énoncés plutôt que des ensembles ou des fonctions.

Également dans: Logique et preuves, Algèbre booléenne

Exemple minimal compilable

Collez-le dans un fichier .tex vide et compilez avec pdfLaTeX, XeLaTeX ou LuaLaTeX.

\documentclass{article}
\begin{document}
Right Arrow (Double): $\Rightarrow$

\[ x > 2 \Rightarrow x^2 > 4 \]
\end{document}

Symboles associés

• Double flèche vers le haut\Uparrow
• Double flèche vers la gauche\Leftarrow
• Longue double flèche vers la gauche\Longleftarrow
• Flèche vers le bas\downarrow
• Longue double flèche vers la droite\Longrightarrow
• Longue flèche vers la droite\longrightarrow

Questions fréquentes

Comment écrire Double flèche vers la droite en LaTeX ?

Tapez \Rightarrow en mode mathématique, par exemple $x > 2 \Rightarrow x^2 > 4$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour \Rightarrow ?

Aucun. \Rightarrow fait partie de LaTeX standard : le préambule n’a besoin que de la classe de document.

Peut-on utiliser \Rightarrow en mode texte, ou seulement en mode mathématique ?

Seulement en mode mathématique. Hors de $...$, LaTeX s’arrête avec "Missing $ inserted" : dans le texte, écrivez $\Rightarrow$. Si vous voulez seulement le glyphe dans le texte, collez le caractère Unicode ⇒ (avec XeLaTeX ou LuaLaTeX et une police qui le contient).