8 Settembre 2010 alle 15:50
#49596
::
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.
Puoi provare
`\newcommand{\abscont}{\mathrel{
\setlength{\dimen0}{\heightof{$<$}-\heightof{$\scriptscriptstyle<$}}
{<}\makebox[0pt][r]{\raisebox{.5\dimen0 }{$\scriptscriptstyle<$}}
}}`
che è indipendente dal corpo usato. Occorre il pacchetto calc.
Ciao
Enrico