On April 13, 2020 6:52:39 AM EDT, 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 ? > >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.
Unicode has *some* of what you want. Unicode has combining characters, see: https://en.m.wikipedia.org/wiki/Combining_character In some cases (primarily emoji) you can a zero width joiner (zwj): https://stackoverflow.com/questions/52938779/combining-arbitrary-unicode-symbols-or-unicode-characters-with-negative-width https://en.m.wikipedia.org/wiki/Zero-width_joiner --- David A.Wheeler -- 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/DFB49F85-C88D-4B35-A432-D810FD408B9F%40dwheeler.com.
