Sovrainsieme in LaTeX (\supset)

Dove si usa

Relazione di sovrainsieme: l'insieme a sinistra contiene quello a destra (spesso in senso stretto, a seconda della convenzione).

\supset è l'immagine speculare di \subset, quindi A \supset B dice che B è contenuto in A. Come per \subset, gli autori non concordano sul fatto che ammetta l'uguaglianza; dichiarate la vostra convenzione oppure usate \supseteq e \supsetneq per eliminare ogni dubbio. I testi di logica di tradizioni più antiche, compresi i Principia Mathematica, usavano \supset per l'implicazione materiale, quindi potete trovare p \supset q negli articoli di filosofia. Nei testi nuovi \to o \implies sono più chiari per l'implicazione. La negazione è \not\supset, e \nsupseteq copre la versione non stretta.

Compare anche in: Teoria degli insiemi

Esempio minimo compilabile

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

\documentclass{article}
\begin{document}
Superset: $\supset$

\[ \mathcal{F} \supset \{A_1, A_2, \ldots\} \]
\end{document}

Simboli correlati

• Sovrainsieme non stretto\supseteq
• Sottoinsieme proprio\subsetneq
• Perpendicolarità\perp
• Inclusione non stretta\subseteq
• Parallelismo\parallel
• Sottoinsieme\subset

Domande frequenti

Come si scrive Sovrainsieme in LaTeX?

Scrivi \supset in modalità matematica, per esempio $\mathcal{F} \supset \{A_1, A_2, \ldots\}$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per \supset?

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

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

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