On Monday, April 13, 2020 at 9:32:36 AM UTC-4, andrebacci.listas wrote:
>
> On Mon, Apr 13, 2020 at 10:52 AM Benoit 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é
>
Unfortunately we are currently using HTML 4.01 transitional, and <ruby> was
added in HTML 5. So it fails validator.w3.org:
Line 238, Column 26: element "RUBY" undefined
<ruby>⟶<rt style='font-size:
1rem;'>Set</big></ruby>
Norm
--
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/40f44a90-28d1-4b84-9e54-19d2c97bd647%40googlegroups.com.
