Newsgroup: it.comp.software.tex
Titolo: Teoremi e ambiente align

(i). Negli ambienti definiti attraverso \newtheorem con l'impostazione
\theoremstyle{plain} non riesco a scrivere parti di testo che non siano in
corsivo o meglio ogni cosa appare come se fosse l'argomento di un \emph{} 
mentre vorrei che non tutto il testo sia enfatizzato.
(ii). Esiste un qualche comando all'interno di align perchè possa scrivere
un equazione allineata all'estrema destra del margine de foglio?
Utilizzo i tag sulla sinistra ed ho la necessità di fare quanto segue
attraverso align (o qualcosaltro, se esiste):
(1.1)     ax=bx     <===>   a=b     (legge di cancellazione a destra)
(1.2)     xa=xb     <===>   a=b   (legge di cancellazione a sinistra)
(n.m)      eqn      <===>   res          (*quello di cui ho bisogno*)

ImBlind wrote:

(ii). Mi sono espresso molto male. Vorrei semplicemente che l'"equazioni"
fra parentesi, poste sulla destra, siano allineate al margine destro del
foglio mentre le restanti equazioni siano allineate nel modo standard ossia
centrate. 

 scrive:

(i) Hai provato \theoremstyle{definition}?
(ii) L'allineamento al margine destro è _male_. Non ha senso: per 
esempio, se i numeri di equazione fossero a destra, che faresti?
\begin{align}
ax=bx &\iff a=b &&\text{(legge di cancellazione a destra)}\\
...
\end{align}
Se vuoi anche che le varie equazioni siano allineate, be',
devi lavorare un po' di più.
Ciao
Enrico

 Enrico
(i). Non sono stato preciso: utilizzo ambienti theorem con stile definition
e plain. Nei definition ho la necessità di "enfatizzare" parti di testo e a
tal fine utilizzo \emph{...} . In quelli plain ho la necessità di
"normalizzare" parti di testo ossia di avere il caratattere standard
(quello, ad esempio, che compare normalmente negli ambienti con stile
definition). Qual è il comando? (evidentemente è una sorta di complementare
di \emph{}:)
(ii.a). Non sono stato preciso neanche in questo punto visto che sono stato
frainteso. Faccio un altro esempio, molto simile a ciò che devo fare:
....
(o.1)       prop1       (desc1)
(o.2)       prop2       (desc2)
.
.
.
(o.n)       propN       (descN)
...
dove (o.1),...,(o,n) sono i tag delle equazioni in cui il primo carattere è
allineato con il margine sinistro del foglio, prop1,...,propN sono
proposizioni che devono risultare centrate rispetto ai margini sinistro e
destro e, dulcis in fundo, (*) (desc1),...,(descN) è una descrizione o nome
(dell'assioma citato) il cui ultimo carattere ossia ")" deve essere in
corrispondenza del margine destro. Esiste qualche ambiente che può venire
incontro a questa mia esigenza?
(ii.b) Questa è una variazione di (ii.a). Vorrei anche poter fare la
seguente cosa:
...
      (o.1) <==> prop1    (desc1)
      (o.2) <==> prop2    (desc2)
      .
      .
      .
      (o.N) <==> propN    (descN)
...
ossia
\begin{align}
"\tag{o.1}" & \Longleftrightarrow prop1  \comandochevorreiconoscere{desc1}
.
.
.
"\tag{o.N}" & \Longleftrightarrow propN  \comandochevorreiconoscere{descN}
\end{align}
ove ho messo fra virgolette \tag{o.1} poichè vorrei trattarlo come un
normale oggetto di testo senza perdere la possibilità di poter fare
riferimenti incrociati alla equazione. Naturalmente
\comandochevorreiconoscere è quello del punto (ii.a) (*).
Grazie Tante.
Ciao Armando.

di \emph{}:)
Riguardo agli ambienti theorem non so, ma il complementare di \emph è \emph
(l'emph di emph è non emph). Può darsi che nel caso specifico si possa
risolvere diversamente o meglio, non ho seguito.
Ciao.

 \comandochevorreiconoscere è quello del punto (ii.a) (*).
Il comando che vorresti conoscere è, semplicemente &&.
Ma di nuovo, non puoi usare l'etichetta per riferirsi a sé stessa.
Se ci fai capire esplicitamente quello che desideri, magari
possiamo aiutarti meglio.
Ciao
Enrico

 
Quindi se scrivo (con le etichette a sinistra):
Sia k=0,...,4 allora uno spazio topologico X viene detto T_k se soddisfa
alla condizione T_k:
.
.
.
(T_2)   per ogni x,y punti distinti di X esistono...  (spazio di Hausdorff)
(T_3)   sia X T_1 e per ogni chiuso...                    (spazio regolare)
.
.
.
con la descrizione sulla destra è sbagliato? 

Il comando && non allinea la mia "descrizione" nel modo che desidero, ossia
non è precisamente allineata a sinistra ma un pò decentrata verso destra.
Ad ogni modo, credo sia molto utile, riferendomi all'esempio fornito
precedentemente, riferirsi all'interno del testo agli assiomi di
separazione attraverso \eqref che permette un collegamento alla definizione
ed altri vantaggi che tu conoscerai. Questo però implica che è il \tag{} a
dare il nome all'assioma.
PS. L'esempio fornito su è (parecchio) simile all'impostazione
che si può trovare su alcuni testi (vedi Czes Kosniowsky, Introduzione alla
topologia algebrica).

possiamo aiutarti meglio.
Mi sembra di capire che l'ambiente alignat potrebbe aiutare.
Ciao.

 topologia algebrica).
Ti dico la mia idea. Queste etichette non sono etichette di equazioni.
Stai facendo una tabella, in realtà.
\begin{tabular}{lp{??cm}l}
(T$_2$) & per ogni $x$, $y$,... & (spazio di Hausdorff)\\
...
\end{tabular}
La grandezza delle colonne 'p' va valutata a occhio. Purtroppo non si
può farne a meno certe volte. Così potresti anche ottenere, abbastanza
facilmente, la forma che vorresti fin dall'inizio. Continuo a 
sconsigliarlo.
Ciao
Enrico

Giovanni Zezza wrote:

concordo in tutto ciò che dici confermando che alignat potrebbe venire
utile. Farò un pò di ricerche su tale ambiente.

Dopo un pò di ricerche ho scoperto che l'ambient flalign è quello che meglio
produce ciò che voglio, anche se non del tutto. Credo debba ricorrere a
qualche artificio.