amsthm in Scissor LaTeX

Il pacchetto amsthm funziona in parte in Scissor LaTeX: \newtheorem, la forma con asterisco \newtheorem*, note facoltative come [Mustermann] e l’ambiente proof funzionano, mentre \theoremstyle, i contatori condivisi o per sezione, i titoli delle dimostrazioni e \qedhere non vengono applicati.

Cosa fa il pacchetto

amsthm ti permette di dichiarare ambienti di tipo teorema con \newtheorem e ti offre un ambiente proof che termina con un quadratino. Gli stili dei teoremi (plain, definition, remark) cambiano l’aspetto dell’intestazione e del corpo.

Cosa funziona qui

Esempi

Dichiara gli ambienti nel preambolo, poi usali nel testo:

\newtheorem, una nota e una dimostrazione

LaTeXCopiaApri nell'editor (si apre in una nuova scheda)

\documentclass{article}
\usepackage{amsthm}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\begin{document}
\begin{lemma}
Every even number greater than 2 is the sum of two odd numbers.
\end{lemma}
\begin{theorem}[Mustermann]
The number 44 is the sum of two primes.
\end{theorem}
\begin{proof}
Take $44 = 3 + 41$, and both 3 and 41 are prime.
\end{proof}
\end{document}

Un ambiente non numerato con \newtheorem*. La riga \theoremstyle{definition} viene accettata, ma il corpo resta in corsivo:

\newtheorem* e \theoremstyle

LaTeXCopiaApri nell'editor (si apre in una nuova scheda)

\documentclass{article}
\usepackage{amsthm}
\theoremstyle{definition}
\newtheorem{definition}{Definition}
\newtheorem*{remark}{Remark}
\begin{document}
\begin{definition}
A number is \emph{even} if it is divisible by 2.
\end{definition}
\begin{remark}
By this definition, 0 and 44 are even.
\end{remark}
\end{document}

\qedhere sposta il quadratino dentro una formula in display alla fine di una dimostrazione. Qui non è riconosciuto, quindi la formula diventa rossa:

\begin{proof}
It remains to compute
\[ 44 = 4 \cdot 11. \qedhere \]
\end{proof}

Ometti \qedhere. Il quadratino si trova allora su una riga a sé dopo la formula, il che è altrettanto corretto:

\begin{proof}
It remains to compute
\[ 44 = 4 \cdot 11. \]
\end{proof}

Compatibilità

• Da un’installazione TeX a qui: i documenti vengono composti. I numeri possono differire quando gli ambienti condividono un contatore, e ogni stile di teorema appare come plain. Rimuovi \qedhere dove una formula diventa rossa.
• Da qui a un’installazione TeX: i documenti si compilano lì senza modifiche, purché ogni ambiente sia dichiarato con \newtheorem.

Il manuale completo è su CTAN: ctan.org/pkg/amsthm. Per un’introduzione guidata, vedi Teoremi e dimostrazioni.

Vedi anche Teoremi e dimostrazioni e cleveref.

Ogni esempio di questa pagina viene composto da Scissor LaTeX quando il sito viene generato. Ultimo aggiornamento: 2026-11-07.