Professore! Grazie mille, perfetto come sempre! 😀
Eh, no. Anch’io ho commesso un errore (citazione da Carosello, lo diceva l’ispettore Rock togliendosi il cappello e mostrando la pelata).
L’altezza di \sim non è quella del +; quanto è? Risposta: quella che appare, né più né meno.
E perché allora \overset{*}{\sim} mette così in alto l’asterisco? Risposta: la distanza è la stessa che TeX metterebbe fra l’asterisco e \sum in $\sum\limits^*$
Nel caso di \overset sembra un po’ eccessiva, effettivamente. Ma quei simboli compositi non sono proprio bellissimi in ogni caso.
Una soluzione presa in prestito dal Grand Wizard:
`\def\@verrel#1#2{\vbox{\lineskiplimit\maxdimen\lineskip.22ex
\ialign{$\m@th#1\hfil##\hfil$\crcr#2\crcr}}}
\def\@nderrel#1#2{\vtop{\lineskiplimit\maxdimen\lineskip\z@
\ialign{$\m@th#1\hfil##\hfil$\crcr#2\crcr}}}
\def\simstar{\mathrel{\mathpalette\@verrel{\scriptstyle*\cr\sim}}}
\def\eqdefbelow{\mathrel{\mathpalette\@nderrel{=\cr\scriptscriptstyle\mathrm{def}}}}`
Prova $a\simstar b$ oppure $c\eqdefbelow d$.
Ciao
Enrico