Non-appartenance en LaTeX (\notin)

Où il est utilisé

Exprime la non-appartenance : l’élément de gauche n’appartient pas à l’ensemble donné.

\notin est une version barrée dédiée de \in, composée comme une relation, comme dans \sqrt{2} \notin \mathbb{Q}. Écrire \not\in donne un résultat semblable, mais \notin place mieux la barre et constitue le choix standard. Ses compagnons naturels sont \in et \ni ; pour nier une inclusion, on utiliserait \not\subset ou \nsubseteq. Les phrases typiques sont les raisonnements par l’absurde et les descriptions de complémentaires, comme x \in A^c \iff x \notin A. Dans les quantificateurs, \forall x \notin S est un raccourci acceptable, mais expliciter le domaine est plus clair.

Également dans: Théorie des ensembles, Quantificateurs

Exemple minimal compilable

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

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Not Element Of: $\notin$

\[ \sqrt{2} \notin \mathbb{Q}, \quad i \notin \mathbb{R} \]
\end{document}

Symboles associés

• Inclusion\subset
• Appartenance\in
• Union\cup
• Quantificateur existentiel\exists
• Intersection\cap
• Quantificateur universel\forall

Questions fréquentes

Comment écrire Non-appartenance en LaTeX ?

Tapez \notin en mode mathématique, par exemple $\sqrt{2} \notin \mathbb{Q}, \quad i \notin \mathbb{R}$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour \notin ?

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

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