Newsgroup: it.comp.software.tex
Titolo: Dannate barre orizzontali!!!

Salve a tutti...
Sono ancora ai ferri corti con LaTeX. Sto scrivendo alcuni esercizi
per gli studenti della mia prof. di Intelligenza artificiale, e quello
che vorrei scrivere adesso č una serie di proposizioni, numerate, una
barra verticale (che indica che si sta inferendo qualcosa), e un'altra
proposizione, anch'essa numerata. "Visualmente", quello che vorrei
ottenere č:
                       A \rightarrow B                     (1)
                          \lnot B                               (2)
                   __________________
                         \lnot A                                (3)
Non sembra troppo difficile, ma non ci riesco! :-(
Se metto:
\begin{equation}
  ...
\end{equation}
\begin{equation}
  ...
\end{equation}
non funziona, perché quando sono fuori dell'ambiente matematico non
posso usare \hline.
Ho provato ad usare \eqnarray ma non va bene nemmeno con quello: sono
riuscito ad ottenere una linea orizzontale, ma č lunga quanto tutta la
pagina (fino a 1, 2 e 3 a destra) e invece deve "coprire" poco piů
della larghezza delle proposizioni. Oppure posso ottenere una linea
della lunghezza giusta con l'ambiente tabular, ma le equazioni non
sono piů numerate! Non posso usare l'ambiente eqnarray dentro tabular,
ma nemmeno il tabular dentro eqnarray!
Su una dispensa della professoressa quelle "inferenze" ci sono, quindi
SO che č possibile, ma non ho idea di come fare a ottenerle! Qualcuno
sa spiegarmi come si puň fare?
Inoltre, ma questo forse posso riuscirci spulciando un po' di help,
vorrei fare questo: ho queste tre proposizioni numerate. Piů avanti,
nella stessa sezione, in un altro esercizio voglio fare la stessa cosa
con altre proposizioni, ma la numerazione deve ripartire da (1). Come
si puň fare?
Grazie mille per l'aiuto!
Marco

ruskie[toglimi]@
tiscalinet.it
 scrive:

Prova a cercare qualcosa che si dovrebbe chiamare `proof.sty'.
Sappimi dire se lo trovi su CTAN, se no ne dovrei avere una copia
da qualche parte.
Ciao
Enrico

Prova a cercare qualcosa che si dovrebbe chiamare `proof.sty'.
Trovato, grazie. Ora vedo se fa al caso mio.
Ciao!

da qualche parte.
Allora, il package l'ho trovato, ma non sono riuscito ad usarlo. Non
so dove devo copiarlo! Ho provato a metterlo insieme ad altri .sty, ad
esempio in /misc o in /tools. Poi ho aggiunto al preambolo uno
\usepackage{proof}, ma quando eseguo latex il programma si blocca
dicendo che non trova proof.sty... Eppure nella directory ci guarda,
perché se uso altri package che sono in quella directory li trova
normalmente. Cosa devo fare?
Ciao!
Marco

ruskie[toglimi]@
tiscalinet.it
 scrive:

Da quello che scrivi sembra che tu usi teTeX. Devi dare un comando
che si chiama (forse) texconfig.
Prova `texconfig --help' e vedi che ti dice; probabilmente devi fare 
`texconfig rehash', che ricrea la lista dei file; teTeX usa una lista
per accedere piu' velocemente ai file che deve usare.
Ciao
Enrico

che si chiama (forse) texconfig.
Ci sono poi arrivato da solo: ha bisogno di "texhash", ma potrebbe
sicuramente essere uno script che maschera il comando che suggerivi
tu. Grazie comunque!
Marco

tu.
No, il viceversa: texconfig e` un'interfaccia per tutte le operazioni di
manutenzione, compreso il texhash. Se sai che cosa devi fare puoi,
evidentemente, saltare l'interfaccia.
Ciao.

evidentemente, saltare l'interfaccia.
Beh, ma io per installare proof.sty non ho dovuto fare niente... Ho
semplicemente scritto: texhash <invio> ...
Ciao!
Marco

semplicemente scritto: texhash <invio> ...
Appunto: texconfig ti mostra un'interfaccia a menu, con diverse opzioni,
abbastanza esplicative, relative alla manutenzione; una di queste si
occupera` di lanciare texhash. Tu sapevi gia` che dovevi eseguire texhash,
l'hai fatto direttamente ed e` andato tutto a posto. Scrivere "texhash
<invio>" e` pur sempre qualcosa da fare e, soprattutto, qualcosa da sapere
(io, per esempio, mi dimentico sempre qual'e` il comando per aggiornare il
database dei file; texconfig me lo dice: e` texhash).
Ciao.

<invio>" e` pur sempre qualcosa da fare
Capito... :)
Ciao!