Flèche vers le bas en LaTeX (\downarrow)

Où il est utilisé

Trace une flèche vers le bas, utilisée pour les limites décroissantes, le spin down, les précipités et les réductions à grands pas.

Une suite qui décroît vers sa limite s’écrit x_n \downarrow x, et les limites à droite apparaissent sous la forme t \downarrow 0. Les physiciens écrivent le spin down |\downarrow\rangle, et les chimistes placent une flèche après un précipité solide. En théorie des domaines et en sémantique des langages de programmation, e\downarrow signifie qu’un calcul converge. Comme \uparrow, c’est un délimiteur : \Big\downarrow donne une flèche plus haute, pratique pour esquisser des diagrammes verticaux. La version à double trait est \Downarrow. Certains textes de topologie et de théorie des ordres écrivent aussi {\downarrow}x pour la section commençante d’un élément.

Également dans: Chimie

Exemple minimal compilable

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

\documentclass{article}
\begin{document}
Down Arrow: $\downarrow$

\[ \lim_{t \downarrow 0} \frac{f(x + t) - f(x)}{t} \]
\end{document}

Symboles associés

• Double flèche vers la gauche\Leftarrow
• Longue flèche vers la droite\longrightarrow
• Double flèche vers la droite\Rightarrow
• Longue flèche vers la gauche\longleftarrow
• Double flèche vers le haut\Uparrow
• Flèche vers le haut\uparrow

Questions fréquentes

Comment écrire Flèche vers le bas en LaTeX ?

Tapez \downarrow en mode mathématique, par exemple $\lim_{t \downarrow 0} \frac{f(x + t) - f(x)}{t}$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour \downarrow ?

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

Peut-on utiliser \downarrow 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 $\downarrow$. Si vous voulez seulement le glyphe dans le texte, collez le caractère Unicode ↓ (avec XeLaTeX ou LuaLaTeX et une police qui le contient).