Superconjunto en LaTeX (\ni)

Dónde se usa

Relación de pertenencia invertida: el conjunto de la izquierda contiene el elemento de la derecha.

A \ni x dice lo mismo que x \in A, con el conjunto en primer lugar, lo que resulta natural en expresiones como un entorno U \ni x. Los textos antiguos y algunos lógicos también usaban \ni para «tal que», aunque hoy lo estándar es \mid o dos puntos. \owns es un alias de \ni. Se niega con \not\ni. No lo confundas con la letra épsilon ni con un \in girado a mano; \ni es una relación propiamente dicha, con el espaciado correspondiente.

También aparece en: Cuantificadores

Ejemplo mínimo compilable

Pégalo en un archivo .tex vacío y compílalo con pdfLaTeX, XeLaTeX o 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
• No pertenencia\notin
• Inclusión no estricta\subseteq
• Pertenencia\in
• No inclusión\not\subset
• Conjunto vacío (variante)\varnothing

Preguntas frecuentes

¿Cómo escribo Superconjunto en LaTeX?

Escribe \ni en modo matemático, por ejemplo $U \ni x \implies f(U) \ni f(x)$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para \ni?

Ninguno. \ni forma parte de LaTeX estándar, así que compila solo con la clase de documento en el preámbulo.

¿Puedo usar \ni en modo texto o solo en modo matemático?

Solo en modo matemático. Fuera de $...$ LaTeX se detiene con "Missing $ inserted", así que en el texto escribe $\ni$. Si solo necesitas el glifo en el texto, pega el carácter Unicode ∋ (con XeLaTeX o LuaLaTeX y una fuente que lo tenga).