8 Settembre 2010 alle 15:17
#49595
::
Il codice va bene se il font del documento è 10pt. Tuttavia io utilizzo (lo so: lo dovevo specificare) il font a 12pt ed ho fatto la seguente modifica
`
\newcommand{\abscont}{%
\mathrel{<\mkern-13.5mu\raisebox{0.29ex}{$\scriptscriptstyle<$}}}
`
cioè ho semplicemente spostato il minore più piccolo più fuori, facendolo rientrare di meno. Grazie mille per il consiglio. Alla prossima.