Caro Enrico, ho provato a confrontare le due versioni:
`\documentclass{article}
\usepackage{amsmath,amsfonts}
\newcommand{\simstar}{\mathrel{\overset{*}{\smash[t]{\sim}\rule{0pt}{.5ex}}}}
\begin{document}
$\mathbb{R}^\mathbb{N}/\simstar$
$\{r_n\} \simstar \{s_n\}$
\end{document}`
e
`\documentclass{article}
\usepackage{amsmath,amsfonts}
\makeatletter
\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}}}
\makeatother
\begin{document}
$\mathbb{R}^\mathbb{N}/\simstar$
$\{r_n\} \simstar \{s_n\}$
\end{document}`
La differenza è davvero impercettibile. Mi pare che nella “nuova” versione (quella che dici di aver preso a prestito dal Grand Wizard), l’asteriso sia leggerissimamente più in alto. Ma è una differenza che, anche ad ingrandimenti fortissimi, appena si nota.
Mi sbaglio?
Se è così e non sbaglio, penso che si possano usare liberamente tutte e due: sono pressoché uguali.
Grazie ancora,
Lorenzo