Quantificateur universel sur x en LaTeX (\forall x)

Où il est utilisé

Quantificateur universel appliqué à x, affirmant que l’énoncé qui suit est vrai pour toute valeur de x.

Les définitions de la continuité, les axiomes de groupe et les principes de récurrence commencent tous par \forall x. Le symbole \forall est un atome mathématique ordinaire, donc TeX n’insère aucune espace après la variable ; ajouter \, ou un deux-points, comme dans \forall x\, P(x) ou \forall x : P(x), rend les longues formules bien plus lisibles. Certains auteurs placent le quantificateur après l’énoncé, en toutes lettres (« pour tout x »), ce qui est plus doux dans le texte. N’employez pas \forall dans une phrase courante comme abréviation de « pour tout », sauf si votre public attend ce raccourci.

Exemple minimal compilable

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

\documentclass{article}
\begin{document}
For All x: $\forall x$

\[ \forall x\, (x \cdot 0 = 0) \]
\end{document}

Symboles associés

• Quantificateur existentiel sur x\exists x
• Sur-ensemble\ni
• Quantificateur universel borné\forall x \in A
• Non-appartenance\notin
• Quantificateur existentiel borné\exists x \in A
• Appartenance\in

Questions fréquentes

Comment écrire Quantificateur universel sur x en LaTeX ?

Tapez \forall x en mode mathématique, par exemple $\forall x\, (x \cdot 0 = 0)$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour \forall x ?

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

Peut-on utiliser \forall x 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 $\forall x$.