Many symbols used in math are obtained by stacking symbols. For instance,
an isomorphism is often denoted by an arrow with a tilde above it:
$\overset{\sim}{\longrightarrow}$
Is there a simple way to display something close to it in HTML with unicode
encoding ? This would fill the dots in
althtmldef "isomorphism" as " ............. ";
Actually, I recently entered in set.mm the lines
htmldef "-Set->" as " -Set-> ";
althtmldef "-Set->" as " ⟶<sub>Set</sub> ";
latexdef "-Set->" as "\longrightarrow_{\mathrm{Set}}";
(see ~ df-bj-fset) but I would prefer to be able to display something close
to:
$\overset{\text{Set}}{\longrightarrow}$
Any ideas ?
Thanks,
Benoît
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/metamath/e6fb564e-bacf-4eb6-b894-9d548c4e610f%40googlegroups.com.
