Diagramma un po’ goffo.

`

\[ \xymatrix{P \hspace{2pt} \ar@{^{(}->}[r] \ar[d] & K\{y_i\} \ar[d] \ar[r]^{\varphi} & K \left\langle u_i \right\rangle \ar[d]^{\sigma=\sigma_{ij}} \\ \varphi (P) \hspace{2pt} \ar@{^{(}->}[r] & K[c_{ij}] \left\langle u_i \right\rangle \ar[r]^{\quad c_{ij} \mapsto \sigma_{ij}} & M } \]

`

Volevo l’opinione di qualche utente esperto sul diagramma prodotto da questo codice. Si tratta del mio primo tentativo con xy-pic ma vorrei che non apparisse goffo. Qualcuno ha dei suggerimenti per migliorarlo (senza alterarne la sostanza), o degli erroroni da farmi notare?

Qualche piccola modifica:
`\[
\xymatrix{
*++{P} \ar@{^{(}->}[r] \ar[d] &
K\{y_i\} \ar[d] \ar[r]^{\varphi} &
K\langle u_i\rangle \ar[d]^{\sigma=\sigma_{ij}} \\
*++{\varphi (P)} \ar@{^{(}->}[r] &
K[c_{ij}]\langle u_i\rangle \ar[r]^-{c_{ij} \mapsto \sigma_{ij}} &
M
}
\]`
Meglio prima di tutto impostare il codice in modo che sia più leggibile. Sulle questioni tecniche:
(1) per evitare il problema delle frecce di immersione, meglio usare *++{P} e simili per fare in modo che l’oggetto occupi un po’ di spazio in più; ne risente la freccia verticale, a dire il vero, puoi eventualmente provare con \;P\;, ma la spaziatura va messa da ambo i lati.
(2) Non usare \left e \right, che qui sono inutili e in più lasciano uno spazio indesiderato.
(3) Per posizionare correttamente l’etichetta sulla freccia in basso a destra, usa ^-{…} che pone l’etichetta nel centro della parte visibile della freccia.
(4) Puoi anche scrivere \xymatrix@C+.5em{ in modo che la spaziatura fra le colonne sia leggermente più grande; così l’etichetta lunga non si sovrappone alla punta della freccia.

Un trucco che consiglio sempre è di scrivere
`\renewcommand*{\phi}{\varphi}`
e di usare \phi dappertutto. Sarà così facile adattarsi a eventuali richieste di modificare la scelta del simbolo. Lo stesso per \epsilon e \theta: di là dall’oceano usano forme che di qua sono poco comuni; il mio capo voleva anche \rho con la gambetta curva.

Ciao
Enrico