Pertinência invertida (contém) em LaTeX (\ni)

Onde é usado

Relação de pertinência invertida: o conjunto à esquerda contém o elemento à direita.

A \ni x diz o mesmo que x \in A, com o conjunto primeiro, o que soa natural em expressões como uma vizinhança U \ni x. Textos antigos e alguns lógicos também usavam \ni para “tal que”, embora hoje \mid ou dois-pontos sejam o padrão. \owns é um atalho de \ni. Negue-o com \not\ni. Não o confunda com a letra épsilon nem com um \in virado à mão; \ni é uma relação de verdade, com o espaçamento correspondente.

Também aparece em: Quantificadores

Exemplo mínimo compilável

Cole isto em um arquivo .tex vazio e compile com pdfLaTeX, XeLaTeX ou LuaLaTeX.

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

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

Símbolos relacionados

• Subconjunto\subset
• Não pertinência\notin
• Inclusão ampla\subseteq
• Pertinência\in
• Não inclusão (não é subconjunto)\not\subset
• Conjunto vazio (variante)\varnothing

Perguntas frequentes

Como escrever Pertinência invertida (contém) em LaTeX?

Digite \ni no modo matemático, por exemplo $U \ni x \implies f(U) \ni f(x)$. Funciona no LaTeX padrão sem carregar nenhum pacote.

Qual pacote é necessário para \ni?

Nenhum. \ni faz parte do LaTeX padrão, então compila só com a classe do documento no preâmbulo.

Posso usar \ni no modo texto ou só no modo matemático?

Só no modo matemático. Fora de $...$ o LaTeX para com "Missing $ inserted", então no texto escreva $\ni$. Se você só precisa do glifo no texto, cole o caractere Unicode ∋ (com XeLaTeX ou LuaLaTeX e uma fonte que o tenha).