On Mon, Apr 13, 2020 at 10:52 AM Benoit <[email protected]> wrote:
> 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 ?
>
This is a HTML abuse, but...
<ruby>⟶<rt style='font-size: 1rem;'>Set</big></ruby>
André
--
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/CAL1T4B2rqLusj0YcaWCFbU8XXmCxPsrteztP%2BkF-_A%3DuPdnUHA%40mail.gmail.com.
