Quantificatore di esistenza unica in LaTeX (\exists!)

Dove si usa

Esiste esattamente uno: il quantificatore esistenziale seguito da un punto esclamativo che impone l'unicità.

Enunciati di unicità, come l'esistenza di un'unica soluzione di un problema ai valori iniziali o di un unico elemento neutro in un gruppo, si scrivono \exists! x. In modalità matematica di TeX il punto esclamativo è un simbolo di chiusura, quindi \exists! x viene spaziato in modo sensato, anche se alcuni autori aggiungono \, prima della variabile per chiarezza. Formalmente \exists! x\, P(x) abbrevia \exists x\,(P(x) \wedge \forall y\,(P(y) \to y = x)). Evitate \exists_1, che alcuni lettori interpretano come una variabile con pedice. Nella prosa, «esiste un unico» si legge spesso meglio del simbolo.

Esempio minimo compilabile

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

\documentclass{article}
\begin{document}
Unique Exists: $\exists!$

\[ \forall a \in G\; \exists!\, b \in G : ab = e \]
\end{document}

Simboli correlati

• Appartenenza\in
• Quantificatore esistenziale negato\nexists
• Non appartenenza\notin
• Quantificatore esistenziale\exists
• Appartenenza inversa (contiene)\ni
• Quantificatore universale\forall

Domande frequenti

Come si scrive Quantificatore di esistenza unica in LaTeX?

Scrivi \exists! in modalità matematica, per esempio $\forall a \in G\; \exists!\, b \in G : ab = e$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per \exists!?

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

Posso usare \exists! in modalità testo o solo in modalità matematica?

Solo in modalità matematica. Fuori da $...$ LaTeX si ferma con "Missing $ inserted", quindi nel testo scrivi $\exists!$.