Appartenenza inversa (contiene) in LaTeX (\ni)

Dove si usa

Relazione di appartenenza rovesciata: l'insieme a sinistra contiene l'elemento a destra.

A \ni x dice la stessa cosa di x \in A, ma con l'insieme al primo posto, il che risulta naturale in espressioni come un intorno U \ni x. Testi più vecchi e alcuni logici usavano \ni anche per «tale che», benché oggi lo standard sia \mid oppure i due punti. \owns è un alias di \ni. Si nega con \not\ni. Non va confuso con la lettera epsilon né con un \in girato a mano: \ni è una vera relazione, con la spaziatura corrispondente.

Compare anche in: Quantificatori

Esempio minimo compilabile

Incollalo in un file .tex vuoto e compilalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

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

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

Simboli correlati

• Sottoinsieme\subset
• Non appartenenza\notin
• Inclusione non stretta\subseteq
• Appartenenza\in
• Non inclusione\not\subset
• Insieme vuoto (variante)\varnothing

Domande frequenti

Come si scrive Appartenenza inversa (contiene) in LaTeX?

Scrivi \ni in modalità matematica, per esempio $U \ni x \implies f(U) \ni f(x)$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per \ni?

Nessuno. \ni fa parte di LaTeX standard, quindi compila con la sola classe del documento nel preambolo.

Posso usare \ni in modalità testo o solo in modalità matematica?

Solo in modalità matematica. Fuori da $...$ LaTeX si ferma con "Missing $ inserted", quindi nel testo scrivi $\ni$. Se ti serve solo il glifo nel testo, incolla invece il carattere Unicode ∋ (con XeLaTeX o LuaLaTeX e un font che lo contenga).