Se tu scrivi:
`
\[\xrightarrow[\text{sotto}]{\text{sopra}}\]`puoi notare che la scritta sopra e attaccata alla freccia. Infatti la gamba dela p e quasi attaccata alla linea della metà superio della punta. Mentre la scritta sotto è molto più staccata dalla freccia. E questo succede con tutte le altre frecce.
La cosa si nota ancora di più se scrivi
`\[\xrightarrow[\text{\fbox{sotto}}]{\text{\fbox{sopra}}}\]`Allora ho pensato di modificare la macro \def\ext@arrow, aggiungendo un \raise1.15mm\hbox ma non tira su la scritta sotto.
La cosa succede, in maniera minore, anche con la sommatoria
`\[\sum^{\text{\fbox{sopra}}}_{\text{\fbox{sotto}}}\]`
ma qui la differenza è molto piccola e si nota appena visto che la sommatoria è pure un simbolo alto, al contrario della freccia che è molto stretta.Non c’è qualche parametro che modifica la distanza tra l’operatore e l’apice e il pedice?
Non so, qualcosa simile a \delimitershortfall.
Un modo che ho trovato, ma senza garanzie che funzioni al modo corretto, è di sostituire il tuo
`\raise2mm\hbox{$\scriptstyle #6$}`
con
`\vtop{\kern-\fontdimen12 \the\textfont3 \hbox{$\scriptstyle#6$}}`
Il parametro 12 del font per gli operatori è responsabile del posizionamento del limite inferiore.
Ciao
Enrico