Sur-ensemble en LaTeX (\ni)

Où il est utilisé

Relation d’appartenance inversée : l’ensemble de gauche contient l’élément de droite.

A \ni x dit la même chose que x \in A, mais avec l’ensemble en premier, ce qui se lit naturellement dans des tournures comme un voisinage U \ni x. Des textes anciens et certains logiciens employaient aussi \ni pour « tel que », bien que \mid ou un deux-points soient aujourd’hui la norme. \owns est un alias de \ni. On le nie avec \not\ni. Ne le confondez pas avec la lettre epsilon ni avec un \in retourné à la main : \ni est une véritable relation, avec l’espacement correspondant.

Également dans: Quantificateurs

Exemple minimal compilable

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

\documentclass{article}
\usepackage{amsmath}
\begin{document}
Contains: $\ni$

\[ U \ni x \implies f(U) \ni f(x) \]
\end{document}

Symboles associés

• Inclusion\subset
• Non-appartenance\notin
• Inclusion large\subseteq
• Appartenance\in
• Non-inclusion\not\subset
• Ensemble vide (variante)\varnothing

Questions fréquentes

Comment écrire Sur-ensemble en LaTeX ?

Tapez \ni en mode mathématique, par exemple $U \ni x \implies f(U) \ni f(x)$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour \ni ?

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

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