Newsgroup: it.comp.software.tex
Titolo: ntheorem: scrivere dimostrazione invece di proof

Uso il pacchetto ntheorem, perché mi sembra piů potente e flessibile di 
amsthm.
Lo carico in questo modo:
\usepackage[thmmarks,hyperref,thref,amsmath,standard]{ntheorem}
e poi do i seguenti comandi:
\theorempreskipamount=0.9cm %margine prima 
\theoremstyle{Theorem}
\newtheorem{teorema}{Teorema}
\theorempostskipamount=0.6cm %margine dopo
\theoremstyle{Definition}
\newtheorem{defin}{Definizione}
\theoremsymbol{\ensuremath{\blacklozenge}} %simboletto per indicare che 
l'esempio č finito
\newtheorem{esempio}{Esempio}
Fila tutto liscio, tranne che per un dettaglio: nell'ambito di un 
teorema, ottengo la scritta "Proof" (in maiuscoletto) e non so come 
sostituirla con "Dimostrazione".
PS babel funziona correttamente, tutto il resto appare tranquillamente 
in italiano

 scrive:

Prova a caricare babel dopo ntheorem. Facci sapere.
PS: Sei sicuro di quelle enormi spaziature?
Ciao
Enrico

 PS: Sei sicuro di quelle enormi spaziature?
In realtà no, infatti le sto cambiando. Comunque grazie dell'appunto.

 \mkheader@proof=macro:
->\csname setparms@proof\endcsname \@thm {proof}{proof}{Proof}.
l.11 \mkheader@proof 
Ciao
Enrico

 in italiano
Dimenticavo! Se usi l'opzione amsthm, ottieni un ambiente proof
che si comporta bene con \proofname.
Ciao
Enrico

 che si comporta bene con \proofname.
Però a me interessava personalizzare un po' di più l'ambiente teorema, 
in particolare:
mettere delle linee orizzontali prima e dopo di ciascuna definizione, 
per evidenziare
fare in modo che non solo le dimostrazioni, ma anche gli esempi 
terminino con un simboletto (tipo un rombo nero) che ne indichi appunto 
la fine
Queste cose le so fare con ntheorem, mentre non saprei come farle con 
amsthm. Qualche suggerimento?

 versione del pacchetto. 
:(
Grazie lo stesso!
Strano però perché mi pare l'autore sia tedesco e non americano, quindi 
mi sarei aspettato un supporto per babel. Proof vuol dire dimostrazione 
anche in tedesco? 

 scrive:

Qualche altra indagine mi fa amare ancor meno ntheorem. Comunque sia,
l'ambiente proof è definito nel file ntheorem.std, che è caricato
dall'opzione 'standard'. Evita di farlo e definisciti tu un
ambiente opportuno, magari prendendo quello come modello.
Noterai che l'autore definisce là anche l'ambiente 'Beweis' (cioè
dimostrazione in tedesco). A mio parere dare alcuni ambienti predefiniti
è un'inutilità: ciascun lavoro ha bisogno dei suoi. Inoltre si danno
cattive abitudini agli utenti che si aspettano che 'theorem' sia
definito sempre.
Ciao
Enrico

 definito sempre.
Hai ragione, però c'è anche da considerare che è imho più che sensato 
fornire una cosa già bella e pronta, visto che c'è molta gente che non 
ha la voglia e/o le capacità per provvedervi da sola. 
Mah, probabilmente la cosa migliore sarebbe un'opzione in fase di 
caricamente del pacchetto, per stabilire se vadano caricati gli ambienti 
oppure no.

 che si comporta bene con \proofname.
sě, perň poi la macro \theorembodyfont, per definire il tipo di 
carattere all'interno dell'ambiente, non funziona piů bene. Immagino sia 
un altro bug del pacchetto.
Ho risolto in questo modo:
%non carico l'opzione "amsthm" né "standard" ==> non c'č ambiente proof 
%predefinito
\usepackage[thmmarks,hyperref,thref,amsmath]{ntheorem}
%quindi me lo creo io:
\newenvironment{proof}{ \vspace{1em}  \noindent \emph{Dimostrazione}. }
{ \newline \begin{flushright}
\ensuremath{\blacksquare}
\end{flushright}
}
Mi sembra una soluzione soddisfacente. Grazie dell'aiuto!
PS Ah, se tutti i miei professori conoscessero il LaTeX bene come te, 
invece di distribuire orrori scritti in Word con carattere comic sans 
ms... Posso venire a seguire qualche tuo corso? ;)